TeX:
G = \frac{1}{4} \int_{-\pi / 2}^{\pi / 2} \frac{x}{\sin(x)} \, dxDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ConstCatalan | Catalan's constant | |
| Integral | Integral | |
| Sin | Sine | |
| Pi | The constant pi (3.14...) |
Source code for this entry:
Entry(ID("ec1435"),
Formula(Equal(ConstCatalan, Mul(Div(1, 4), Integral(Div(x, Sin(x)), For(x, Neg(Div(Pi, 2)), Div(Pi, 2)))))))