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