ｇk＝（ｋ^2）！／１・２^2・・・ｋ^k・（ｋ＋１）^k-1・・・（２ｋ−１）

　この式において，

　　ｇ1＝１，ｇ2＝２，ｇ3＝４２，ｇ4＝２４０２４

だが，ｇkが整数であることは決して自明ではなく，にわかには信じがたい．

　そこで，この続きを阪本ひろむ氏に計算してもらったところ

　　ｇ5＝７０１１４９０２０

　　ｇ6＝１６７１６４３０３３７３４９６０

　　ｇ7＝４７５０７３６８４２６４３８９８７９２２８５６０

　　ｇ8＝２２０８１３７４９９２７０１９５０３９８８４７６７４８３０８５７６００

以降ｇ100まで，整数であることが確認された．もはやこの式の整除性を疑うことはできまい．連続するｋ個の自然数の積はｋ！で割り切れることを使って証明してみたい．→次回の宿題としたい．

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