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