Рассмотрим левую часть неравенства как квадратичную функцию от переменной y.
Выясним , имеет ли данный трехчлен корни. Для этого найдём дискриминант:
=> при всех х≠-4 корней нет, а при х=-4 - один корень.
Заметим, что а > 0 =>
f(y) > 0 всех х≠-4 и f(y) = 0 при х=-4, т.е для всех действительных х f(y) ≥ 0. чтд.