Рассмотрите неравенство между средними для 9 слагаемых, первое из которых равно

, а каждое из следующих --

. Затем нужно будет доказать, что его правая часть не меньше 9*2. Это равносильно такому неравенству:

Если его левую часть домножить на

в нужной степени (такой, чтобы неравенство стало однородным), то оно снова-таки докажется через неравенство о средних.