Wiemy, że .

Chcemy pokazać, że .

Wiemy, że średnia arytmetyczna dowolnych liczb dodatnich  jest nie mniejsza od średniej geometrycznej, co daje nam