\lim_{\varepsilon\rigtarrow 0_+}
\int_{-\infty}^{+\infty}\frac{\displaystyle\sin\frac{\xi}{\varepsilon}}{\xi}\,f(\xi)\,d\xi=
\pi\,f(0)