Zakładamy, że  oraz .
Wiemy również, że:  .

Jeżeli liczby , to korzystając z zależności między średnią arytmetyczną a średnią geometryczną wiemy, że . Zatem:

a) teza: 

Ko