Proposition: Derivative of the Natural Logarithm

The derivative of the natural logarithm $f(x)=\log(x),$ $x\in\mathbb R^*_+,$ is given by $$\log'(x)=\frac1x.$$

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983