A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Az egyenlőtlenség közvetlenül következik az függvény konvex voltából. Fejezzük ki , , , , , , , -t alapú logaritmusaikkal : | | Ekkor -ra felírva a tagú szimmetrikus Jensen‐egyenlőtlenséget:
vagyis | | és tekintettel az -ek és -ok jelentésére ez a bizonyítandó egyenlőtlenség logaritmusa. |