ｆ1のオーバーフローを調べてみたい．

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

【１】置換多面体の場合

　　ｆ0＝（ｎ＋１）！

　　ｆn-1＝２（２^n−１）

　　ｆ1＝（ｎ＋１）！・ｎ／２

　　ｎ／２・（ｎ＋１）！＞２^64

　　ｎ・（２π（ｎ＋１））^1/2（（ｎ＋１）／ｅ）^(n+1)＞２^65

　　ｌｎｎ＋１／２・ｌｎ２π（ｎ＋１）＋（ｎ＋１）｛ｌｎ（ｎ＋１）−１｝＞６５ｌｎ２

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

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

【２】正軸体版の場合

　　ｆ0＝２^nｎ！

　　ｆn-1＝３^n−１

　　ｆ1＝２^nｎ！・ｎ／２

　　ｎ／２・２^nｎ！＞２^64

　　ｎ・（２πｎ）^1/2（２ｎ／ｅ）^n＞２^65

ｌｎｎ＋１／２・ｌｎ（２πｎ）＋ｎ（ｌｎ２ｎ−１）＞６５ｌｎ２

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

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