π^2/6=納k=0〜∞] 1/k^2
で、kをまぁ10ぐらいまで取れば
πが3.1以上であるコトは確認できる。