Jump to content

Natural logarithm/Derivative/Fact/Proof

From Wikiversity
Proof

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

using fact.