2.4.1 遠からず習う可能性のあること (参考)

関数論2 (2年後期) や実解析1 (3年前期) で、

$$\sum_{n=1}^\infty\dfrac{1}{n^2}=\dfrac{\pi^2}{6}$$

を習うかもしれません。

$\pi^2/6$ を求める

OPTION ARITHMETIC DECIMAL_HIGH
PRINT PI^2/6
END

$$\frac{\pi^2}{6}= 1.6449340668 4822643647 2415166646 \cdots$$

ですから、 (2.1 で見た) $s_{1000000}=1.644933066846830\cdots$ (第100万項目) は、 小数点以下$11$位まで $\pi^2/6$ と一致していることが分かります。