■連分数の測度論(その15)
[1] logΠ{klog2(1+1/k(k+2))}
=Σlog{klog2(1+1/k(k+2))}
[2] logΠ(1+1/k(k+2))^logk/log2
=Σlogk/log2・log(1+1/k(k+2))
=Σlogk・log(1+1/k(k+2))/log2
log(1+1/k(k+2))/log2=log2(1+1/k(k+2))
であるから,両者は元々異なるものである.
後者ではlogkの算術平均を求めていることになる.したがって,kの幾何平均であるが,これが
(a1a2・・・an)^1/n→Π(1+1/k(k+2))^logk/log2=2.685452001・・・
になっているわけである.
===================================
[まとめ]
klog2(1+1/k(k+2)
ではなく,
logk・log2(1+1/k(k+2))
を求めるように定式化しなければならない.このあとは数値計算するしかない.
===================================