Weźmy dowolną parę liczb  i  taką, że .

Wiemy, że średnia arytmetyczna zestawu liczb dodatnich jest zawsze większa lub równa średniej geometrycznej tego samego zestawu liczb.

Zatem , po