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