Integral to Infinity of Cosine p x minus Cosine q x over x

Theorem

 * $\ds \int_0^\infty \frac {\cos p x - \cos q x} x \rd x = \ln \frac q p$

where $p$ and $q$ are strictly positive real numbers.