Natural logarithm/Derivative/Fact/Proof/Exercise