Otta, похоже, что неравенство

(обозначим его *), всегда дает интервалы, строго содержащиеся внутри интервала

и в этом его преимущество перед неравенством

(обозначим его **)
В самом деле, решая первое неравенство, приходим к квадратному неравенству

Для корней

этого квадратного трехчлена на основании теоремы Виета получаем, что

а отсюда делаем вывод что оба корня положительны:

С другой стороны, делая замену переменных

приходим к следующему квадратному неравенству:

и на основании той же теоремі Виета делаем вывод, что

и, значит,

Поскольку

заключаем что

что и требовалось доказать.
С другой стороны, интервал для неравенства (**) не обязательно содержит интервал для неравенства (*), и вообще не обязан быть больше. Например, для значений параметров
интервал для неравенства (*) ----- это
а для неравенства (**) -- это интервал
Эти два интервала не вложены, и длина второго даже меньше длины первого интервала.