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