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.