Wiemy, że  i ich iloczyn jest większy od , to znaczy .

Chcemy pokazać, że .

Przekształcamy nierówność:

.

Wiemy, że średnia arytmetyczna liczb dodatnich jest nie mniejsza od