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