TeX:
G = \frac{1}{2} \int_{0}^{\infty} \frac{x}{\cosh(x)} \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstCatalan | Catalan's constant | |
| Integral | Integral | |
| Infinity | Positive infinity |
Source code for this entry:
Entry(ID("c54c85"),
Formula(Equal(ConstCatalan, Mul(Div(1, 2), Integral(Div(x, Cosh(x)), For(x, 0, Infinity))))))