６４ビット中，１ヒットは符号にあてられているのかもしれない．そこで，　　ｎ／２・（ｎ＋１）！＞２^63

　　ｌｏｇｎ＋Σｌｏｇ（ｋ＋１）＞６４ｌｏｇ２

を解いてみる．

　この場合も，ｎ＝１９でオーバーフローすると計算された．

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

　置換多面体もその正軸体もゾノトープであるから，１≦ｋ≦ｎに対して

　　ｆk-1≧ｋ／（ｎ−ｋ＋１）・ｆk

を満たす．

　　ｋ≧（ｎ−ｋ＋１）→ｋ≧（ｎ＋１）／２

では単調減少する．

ｎが偶数のとき

　　ｆk≦（ｎ，ｎ／２）ｆ0

ｎが奇数のとき

　　ｆk≦（ｎ，（ｎ＋１）／２）ｆ0

として

　　ｆk≦（ｎ，ｋ）ｆ0

　　ｌｏｇ（ｎ，ｋ）＋ｌｏｇｆ0＞６３ｌｏｇ２

計算する．

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

【１】置換多面体の場合

　　ｆ0＝（ｎ＋１）！

　　ｎ＝１７でオーバーフローすることがわかる．

【２】正軸体版の場合

　　ｆ0＝２^nｎ！

　　ｎ＝１５でオーバーフローすることがわかる．

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

［まとめ］いずれも計算結果は変わらなかった．

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