>>553
>コンピュータープログラム
を示すことにより、nが10000まで問題なく機能することを示している

それは10000までの例を一般の場合の証明と混同しているだけです