La fonction logarithme népérien
La fonction logarithme népérien, notée $\ln$, est l'unique fonction définie et dérivable sur $]0, +\infty[$ vérifiant $\ln 1 = 0$ et, pour tout réel $x > 0$ :
$$(\ln x)' = \frac{1}{x} > 0$$Elle est continue et strictement croissante sur $]0, +\infty[$.