Fourier Series/Logarithm of Sine of x over 0 to Pi

Theorem

 * $\displaystyle \map \ln {\sin x} = -\ln 2 - \sum_{n = 1}^\infty \frac {\cos 2 n x} n$

where $0 < x < \pi$.