Dirichlet Integral

Theorem

 * $\displaystyle \int_0^\infty \frac {\sin x} x \, \mathrm d x = \frac \pi 2$