■連分数の測度論(その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

 ほぼレヴィの定数と一致.満足すべき結果が得られたことになる.

===================================