TeX:
G = \sum_{n=0}^{\infty} \frac{{\left(-1\right)}^{n}}{{\left(2 n + 1\right)}^{2}}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstCatalan | Catalan's constant | |
| Sum | Sum | |
| Pow | Power | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("33aa62"),
Formula(Equal(ConstCatalan, Sum(Div(Pow(-1, n), Pow(Add(Mul(2, n), 1), 2)), For(n, 0, Infinity)))))