Natural Logarithm Function is Differentiable/Proof 2

Theorem

The (real) natural logarithm function is differentiable.


Proof

This proof assumes the definition of $\ln$ as the inverse of the exponential function.

As the Exponential Function is Differentiable, the result follows from the differentiability of inverse functions.

$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.