et
sont deux fonctions définies sur un intervalle
« cohérent avec la limite calculée »
et
représente
,
ou un nombre réel.
Si pour tout
,
et si
,
alors
Si pour tout
,
et si
,
alors
définie sur
par :

,
.
En déduire la limite de
en
.
Pour
, le signe de l'expression est le même que celui de
.
Or, on sait que pour tout réel
, on a
.
En ajoutant 1 aux membres de l'inégalité précédente on obtient :
.
Du coup,
est positif et
aussi ce qui donne
.
et
, donc par addition
.
Compte tenu de l'inégalité prouvée dans la première partie de l'exercice, on conclut, par comparaison que
.