ｆベクトルの最大値は［ｄ／２］と［（３ｄ−１）／４］の間にくるという．（その８）では

　　ｆk≦（ｎ，ｋ）ｆ0＝ｎ！ｆ0／（ｎ／２）！（ｎ／２）！

ｎ！／（ｎ／２）！（ｎ／２）！〜（２πｎ）^1/2（ｎ／ｅ）^n／（πｎ）（ｎ／２ｅ）^n＝（２／πｎ）^1/2・２^n

としたが，

ｎ！／（３ｎ／４）！（ｎ／４）！

ではどうなるだろうか？

ｎ！／（３ｎ／４）！（ｎ／４）！〜（２πｎ）^1/2（ｎ／ｅ）^n／（６πｎ／４）^1/2（２πｎ／４）^1/2（３ｎ／４ｅ）^3n/4（ｎ／４ｅ）^n/4＝（８／３πｎ）^1/2・４^3n/4／３^n

すなわち，

　　ｆk≦（８／３πｎ）^1/2・４^n／３^3n/4・ｆ0

となる．

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

【１】置換多面体の場合

　　ｆ0＝（ｎ＋１）！

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

　　（８／３πｎ）^1/2・４^n／３^3n/4・（ｎ＋１）！＞２^64

　　（８／３πｎ）^1/2・４^n／３^3n/4・（２π（ｎ＋１））^1/2（（ｎ＋１）／ｅ）^(n+1)＞２^64

　（１６（ｎ＋１）／３ｎ）^1/2・４^n／３^3n/4・（（ｎ＋１）／ｅ）^(n+1)＞２^64

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

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

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

【２】正軸体版の場合

　　ｆ0＝２^nｎ！

　　ｆn-1＝３^n−１

　　（８／３πｎ）^1/2・４^n／３^3n/4・２^n・２^nｎ！＞２^64

　　（８／３πｎ）^1/2・２^3n／３^3n/4・ｎ！＞２^64

　　（８／３πｎ）^1/2・２^3n／３^3n/4・（２πｎ）^1/2（ｎ／ｅ）^n＞２^64

　　（１６／３）^1/2・２^3n／３^3n/4・（ｎ／ｅ）^n＞２^64

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

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

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

［雑感］結果は（その８）と同じで，思ったほど影響を受けないことがわかる．

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