Dirichlet Integral

Theorem

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