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