■アペリーの定数(その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
という予想がつくというわけである.
===================================