TeX:
\frac{{\pi}^{2}}{12} = \sum_{n=1}^{\infty} \frac{{\left(-1\right)}^{n + 1}}{{n}^{2}}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Pow | Power | |
| Pi | The constant pi (3.14...) | |
| Sum | Sum | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("11302a"),
Formula(Equal(Div(Pow(Pi, 2), 12), Sum(Div(Pow(-1, Add(n, 1)), Pow(n, 2)), For(n, 1, Infinity)))))