Una desigualdad puede demostrarse tomando la diferencia y examinando dónde crece y dónde decrece. Confirmamos .
Pongamos . Lo que hay que demostrar es que para todo .
La función crece de forma monótona y vale en .
| Intervalo | Comportamiento de | ||
|---|---|---|---|
| negativa | decreciente | ||
| positiva | creciente |
Así que es mínima en , donde su valor es . Como el mínimo es , se tiene , es decir, para todo , con igualdad solo en .
La recta es la tangente a en . Como , la función es convexa, y una función convexa queda por encima de todas sus tangentes1. Esta desigualdad es un caso de eso.
| Sustitución | Desigualdad obtenida |
|---|---|
La segunda se usa mucho como manera de acotar un logaritmo por arriba.
Elevar ambos miembros de la tercera a la potencia da lo siguiente.
Que la sucesión que aparece en la definición de no supere nunca a se sigue de esta sola desigualdad.
Para demostrar algo solo para , basta examinar el valor en el extremo de ese intervalo junto con la monotonía. Demostrar una desigualdad se convierte en una cuestión de crecimiento y decrecimiento.
La curva convexa de la gráfica es , su tangente es , la diferencia de las dos es , y los puntos grandes son el punto de tangencia y el origen, donde la diferencia vale .