Еще раз: так замечательно (и громоздко) написанное выражение — не более, чем явная запись корня для полинома

. А Ваш вопрос перефразируется в «есть ли у (не к ночи помянутого) полинома корень, больший

».
Воспользуйтесь методом Штурма для отделения корней полинома на интервале

, и будет Вам счастье, id est полный анализ ситуации.
Никакого смысла возиться с явной записью корня в этой ситуации нет. Исследование поведения полинома гораздо проще.
maxal писал(а):
если

то решение содержит интервал

Этот интервал всегда входит в решение. А при

решение в точности равно указанному Вами интервалу.