ｆ（ｎ）＝ｎ２^(n-3)・Σ（ｎ，ｋ）／ｋ

とおく．

　　ｆ（１）＝１／４，ｆ（２）＝５／２

　　ｆ（３）＝２９／２，ｆ（４）＝２０６／３

はよいとして，問題はｆ（５）以降である．

　　ｆ（５）＝８８７／３→有理数

　　ｆ（６）＝６０６８／５→有理数

　　ｆ（７）＝７２９５６／１５→有理数

　　ｆ（８）＝２０２４０９６／１０５→有理数

　　ｆ（９）＝２６６２７１２／３５→有理数

　　ｆ（10）＝１８９００３２０／６３→有理数

こうして，１００００＞ｎ≧１ではすべて非整数と判定された．

　なお，阪本ひろむ氏の解説によると，Mathematicaに限らず数式処理ソフトは任意の桁数の整数は扱える．したがって，分子・分母の大きな任意の分数も扱える．普通のプログラミング言語のようなオーバーフローは発生しない．よって，inderteminate not integerともならず，判定結果は正しいといえる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝