q
= exp( π√-1√-t ) ( t ＞ 0 )
= exp( -√tπ )
Q
= ( f2( √-t )^24/2^12 )
( 1-q^2 )^24
Q1
= ( f2( √-t )^24/2^12 )
exp( -q^2/( 1-q^2 ) )^24
Q2
= ( f2( √-t )^24/2^12 )
exp( -q^2/( 1-q^2 )+( 1/2 )( q^4/( 1-q^4 ) ) )^24
とすると
Q1 ＜ q^2 ＜ Q2 ＜ Q
⇒
lnQ1/( -2√t ) ＞ π ＞ lnQ2/( -2√t ) ＞ lnQ/( -2√t )
t
= 1 :
3.1416126521 ・・・
＞
π = 3.1415926536 ・・・
＞
3.1415926287 ・・・
＞
3.1415925788 ・・・ : これでも悪くは無い