Fungrim home page

Fungrim entry: 937fa9

G=π201/2Γ ⁣(1+x)Γ ⁣(1x)dxG = \frac{\pi}{2} \int_{0}^{1 / 2} \Gamma\!\left(1 + x\right) \Gamma\!\left(1 - x\right) \, dx
G = \frac{\pi}{2} \int_{0}^{1 / 2} \Gamma\!\left(1 + x\right) \Gamma\!\left(1 - x\right) \, dx
Fungrim symbol Notation Short description
ConstCatalanGG Catalan's constant
Piπ\pi The constant pi (3.14...)
Integralabf(x)dx\int_{a}^{b} f(x) \, dx Integral
GammaΓ(z)\Gamma(z) Gamma function
Source code for this entry:
    Formula(Equal(ConstCatalan, Mul(Div(Pi, 2), Integral(Mul(Gamma(Add(1, x)), Gamma(Sub(1, x))), For(x, 0, Div(1, 2)))))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC