TeX:
\frac{{\pi}^{2}}{6} = \sum_{n=1}^{\infty} \frac{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("fbc53d"),
Formula(Equal(Div(Pow(Pi, 2), 6), Sum(Div(1, Pow(n, 2)), For(n, 1, Infinity)))))