■アペリーの定数(その4)

  [参]小野田博一「古典数学の難問101」日本実業出版社

には,精度をあげて

 1/1^2+1/2^2+1/3^2+1/4^2+1/5^2+・・・<1.65

の証明に取り組んでいる.

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

(証)1/n^2<1/(n^2−1/2^2)=1/(n−1/2)−1/(n+1/2)

 これを1/6^2項以降で使うと

 1/1^2+1/2^2+1/3^2+1/4^2+1/5^2+1/6^2+・・・

<1/1^2+1/2^2+1/3^2+1/4^2+1/5^2+1/(6−1/2)−1/(6+1/2)+1/(7−1/2)−(1/7+1/2)+・・・

<1/1^2+1/2^2+1/3^2+1/4^2+1/5^2+1/(6−1/2)=1.6449・・・

 こうして,

 1/1^2+1/2^2+1/3^2+1/4^2+1/5^2+・・・=1.644934・・・=π^2/6

という予想がつくというわけである.

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