Définition
La fonction logarithme népérien est la fonction notée
qui à tout
de
associe l'unique réel
tel que 
:
Conséquences immédiates :
Pour tout réel
: 
, 
et 
.Pour tout
strictement positif : 
.
Fonctions exponentielles et logarithmes
Définition
