ThmDex – An index of mathematical definitions, results, and conjectures.
Basel problem
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}
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}