Definite Integral to Infinity of Cosine x over Root x

Theorem

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