En on a:
.
On remarque facilement que ,
et
. Ainsi
est une fonction croissante au voisinage de
, donc
est négative pour
et positive pour
. Donc
correspond à une minimum pour
. Ainsi au voisinage de
on a
ce qui montre que la courbe représentative de
est effectivement au dessus de sa tangente.