Pour , .

De plus est le nombre dérivé de la fonction tangente en 0, soit .

Donc on a bien .