Proof of the derivative of ln x = 1/x