Proof of the integral formula for the natural log function ln(x). The integral is evaluated using integration by parts.
