TeX:
\pi = \sqrt{3} \left(3 \sum_{n=0}^{\infty} \frac{{\left(-1\right)}^{n}}{3 n + 1} - \log(2)\right)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Pi | The constant pi (3.14...) | |
| Sqrt | Principal square root | |
| Sum | Sum | |
| Pow | Power | |
| Infinity | Positive infinity | |
| Log | Natural logarithm |
Source code for this entry:
Entry(ID("bad5d9"),
Formula(Equal(Pi, Mul(Sqrt(3), Sub(Mul(3, Sum(Div(Pow(-1, n), Add(Mul(3, n), 1)), For(n, 0, Infinity))), Log(2))))))