\int_{-\infty}^{+\infty}\frac{\displaystyle\sin\frac{x}{\varepsilon}}{x}\,dx=\int_{-\infty}^{+\infty}\frac{\sin t}{t}\,dt=\pi