Definite Integral to Infinity of Sine x over Root x

Theorem

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