Я думаю, что все правильно. Более того, имхо, даже условие

писать не обязательно. Можно тупо
синтаксически заменить все вхождения

(как
выражения) на

и затем решать неравенство с

. Даже если бы получилось что-нибудь типа

, то далее мы все равно бы имели право написать "

, корней нет".
В школе хорошо учат контролировать ОДЗ, но есть и более важный навык - понимать, когда ОДЗ контролировать не надо.
-- 12.02.2024, 13:25 --Тут случайно так получилось, что пропажа условия не повлияла на ответ. Могло быть иначе (для задач такого типа).
Можно пример? Спрашиваю, потому что по-моему иначе быть не может. Я имею в виду следующее. Неравенство - это предикат, в данном случае от одной переменной

и над

. Любой такой предикат в общем виде можно записать как

. Он выделяет некоторое

(тех и только тех чисел, которые удовлетворяют этому предикату). Если все вхождения переменной в предикат входят вместе с некоторой своей "окрестностью" (т.е. в составе другого подвыражения), то это подвыражение можно
чисто синтаксически заменить на новую букву (в данном случае

), и исследовать после этого предикат

(предикат, полученный заменой в предикате

всех вхождений подвыражений, содержащих

, на

).