TeX:
\int_{0}^{\pi / 2} \frac{1}{\operatorname{sinc}(x)} \, dx = 2 GDefinitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Integral | Integral | |
| Sinc | Sinc function | |
| Pi | The constant pi (3.14...) | |
| ConstCatalan | Catalan's constant |
Source code for this entry:
Entry(ID("c2976e"),
Formula(Equal(Integral(Div(1, Sinc(x)), For(x, 0, Div(Pi, 2))), Mul(2, ConstCatalan))))