TeX:
G = \frac{7 \zeta\!\left(3\right)}{4 \pi} + \frac{2}{\pi} \int_{0}^{1} \frac{{\left(\operatorname{atan}(x)\right)}^{2}}{x} \, dx
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
ConstCatalan | Catalan's constant | |
RiemannZeta | Riemann zeta function | |
Pi | The constant pi (3.14...) | |
Integral | Integral | |
Pow | Power | |
Atan | Inverse tangent |
Source code for this entry:
Entry(ID("d6703a"), Formula(Equal(ConstCatalan, Add(Div(Mul(7, RiemannZeta(3)), Mul(4, Pi)), Mul(Div(2, Pi), Integral(Div(Pow(Atan(x), 2), x), For(x, 0, 1)))))))