Definite Integral from 0 to 1 of Arctangent of x over x

Theorem

 * $\ds \int_0^1 \frac {\arctan x} x \rd x = G$

where $G$ denotes Catalan's constant.