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