Défintion
La fonction réciproque de la fonction exponentielle $y=e^x$ s'appelle la fonction logarithme népèrien et est définie par:
$$\begin{cases} x\mapsto ln(x) \newline ]0;~+\infin[ \to \R \end{cases}$$
Pour tout nombre $a>0$, la fonction logarithme népèrien de $a$ l'unique solution réelle de l'équation $e^x=a$