Proposition Dérivée et continuité
La fonction \(\ln\) est dérivable et continue sur \(]0, +\infty[\). Pour tout \(x > 0\) :$$\ln'(x) = \frac{1}{x}$$Puisque \(1/x > 0\) sur son domaine, le logarithme népérien est strictement croissant sur \(]0, +\infty[\).