TeX:
\int_{0}^{\pi / 2} \frac{1}{\operatorname{sinc}^{2}\!\left(x\right)} \, dx = \pi \log(2)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Integral | Integral | |
| Pow | Power | |
| Sinc | Sinc function | |
| Pi | The constant pi (3.14...) | |
| Log | Natural logarithm |
Source code for this entry:
Entry(ID("dad27b"),
Formula(Equal(Integral(Div(1, Pow(Sinc(x), 2)), For(x, 0, Div(Pi, 2))), Mul(Pi, Log(2)))))