（その１）を略さず計算してみる．

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

【１】置換多面体の場合

　　ｆ0＝（ｎ＋１）！

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

　ｎが大きくなるとｆ0＞ｆn-1であるから，ｆkの最大を２ｆ0と仮定する．

　　２（ｎ＋１）！＞２^64

　　（ｎ＋１）！＞２^63

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

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

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

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

【２】正軸体版の場合

　　ｆ0＝２^nｎ！

　　ｆn-1＝３^n−１

　ｎが大きくなるとｆ0＞ｆn-1であるから，ｆkの最大を２ｆ0と仮定する．

　　２^n+1ｎ！＞２^64

　　２^nｎ！＞２^63

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

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

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

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

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