ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F12480 on R268: Basel problem
F12480
Formulation 0
Let $\pi$ be the D168: Pi.
Then \begin{equation} \lim_{N \to \infty} \sum_{n = 1}^N \frac{1}{n^2} = \frac{\pi^2}{6} \end{equation}