TeX:
G = \frac{\pi}{2} \int_{0}^{1 / 2} \Gamma\!\left(1 + x\right) \Gamma\!\left(1 - x\right) \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstCatalan | Catalan's constant | |
| Pi | The constant pi (3.14...) | |
| Integral | Integral | |
| Gamma | Gamma function |
Source code for this entry:
Entry(ID("937fa9"),
Formula(Equal(ConstCatalan, Mul(Div(Pi, 2), Integral(Mul(Gamma(Add(1, x)), Gamma(Sub(1, x))), For(x, 0, Div(1, 2)))))))