Proof of the integral formula for the inverse tangent function arctan(x). The integral is evaluated using integration by parts.
