Lobachevsky Integral Formula

Theorem
Let $f$ be a continuous real function, periodic in $\pi$.

Then:


 * $\ds \int_0^\infty \frac {\sin x} x \map f x \rd x = \int_0^{\frac \pi 2} \map f x \rd x$