Natural logarithm/Derivative/Fact/Proof

Proof

As the logarithm is the inverse function of the exponential function, we can apply fact and get

${}\ln '(x)={\frac {1}{\exp '(\ln x)}}={\frac {1}{\exp(\ln x)}}={\frac {1}{x}}\,,$

using fact.

To fact