■ガウス・ヒンチン・レヴィ(その5)

 商が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

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