ｆ1＝ｎ／２・ｆ0（単純多面体）が成り立つ．ｆk＝ｆ1＝ｎ／２・ｆ0と仮定した場合はどうなるだろうか？

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

【１】置換多面体の場合

　　ｆ0＝（ｎ＋１）！

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

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

　　ｎ（ｎ＋１）！＞２^65

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

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

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

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

【２】正軸体版の場合

　　ｆ0＝２^nｎ！

　　ｆn-1＝３^n−１

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

　　ｎ・２^nｎ！＞２^65

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

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

ｎ（ｌｎ２ｎ−１｝＞６５ｌｎ２

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

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