How to prove $\displaystyle \int_0^{\infty} \frac{\sin x}{x} \, dx = \frac{\pi}{2}$?
How do I proceed?