Definite Integral from 0 to 1 of Logarithm of One plus x over x

Theorem

 * $\displaystyle \int_0^1 \frac {\map \ln {1 + x} } x \rd x = \frac {\pi^2} {12}$