Пусть
, тогда
.
Заменим в исходном неравенстве введённые переменные:
Мы получили неравенство, верное при всех значениях
, потому что в числителе — квадрат (всегда неотрицательный), а в знаменателе
— квадратный арифметический корень (также неотрицателен).