Natural logarithm/Derivative/Fact/Proof