TeX:
\pi = \lim_{n \to \infty} \frac{{16}^{n}}{n {{2 n \choose n}}^{2}}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Pi | The constant pi (3.14...) | |
| SequenceLimit | Limiting value of sequence | |
| Pow | Power | |
| Binomial | Binomial coefficient | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("e1e106"),
Formula(Equal(Pi, SequenceLimit(Div(Pow(16, n), Mul(n, Pow(Binomial(Mul(2, n), n), 2))), For(n, Infinity)))))