■連分数の測度論(その27)
レヴィの定数とは,実数xのn項までの連分数展開pn/qnとする.ほとんどすべての実数に対して,
(qn)^1/n→exp(π^2/12log2)=3.27582292・・
(qn)→exp(nπ^2/12log2)
(その26)が正しければ
α(2/1+(1+1/(2α)^2)^1/2)〜exp(π^2/12log2)=3.27582292・・・
===================================
α=2.685(ヒンチンの定数)として,左辺の値を求めてみると,
3.53909
ほぼレヴィの定数と一致.満足すべき結果が得られたことになる.
===================================