Integral to Infinity of One minus Cosine p x over x Squared

Theorem

 * $\ds \int_0^\infty \frac {1 - \cos p x} {x^2} \rd x = \frac {\pi \size p} 2$

where $p$ is a real number.