Soit , 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 à un minimum pour . Ainsi au voisinage de on a ce qui montre que la courbe représentative de est effectivement au-dessus de sa tangente.