Proof: d/dx(ln x) = 1/x