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