■連分数の測度論(その7)
商がaになる確率は
log2(1+1/a)−log2(1+1/(a+1))
=log2((a+1)^2/((a+1)^2−1))
商が1になる確率はlog2(4/3)=41.504%
商が2になる確率はlog2(9/8)=16.993%
商が3になる確率はlog2(16/15)=9.311%
商が4になる確率はlog2(25/24)=5.889%
===================================
ところで,n→∞のとき,
Σlog2(n^2/(n^2−1))→1
は保証されているのだろうか?
Σlog2(n^2/(n^2−1))
=Σ{log2(1+1/k)−log2(1+1/(k+1))}
=log22−log2(1+1/2)+・・・−log2(1+1/n)
→log22=1
===================================