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