Пусть

, тогда

.
Заменим в исходном неравенстве введённые переменные:
Мы получили неравенство, верное при всех значениях

, потому что в числителе — квадрат (всегда неотрицательный), а в знаменателе

— квадратный арифметический корень (также неотрицателен).