Решение 

См. 19_P23 

> solve(`>=`(`/`(`*`(`+`(sqrt(`+`(x, 2)), `-`(abs(`+`(x, `-`(2)))))), `*`(`+`(sqrt(`+`(8, `-`(x))), `-`(abs(`+`(x, `-`(2))))))), 1))
 

RealRange(3, Open(4)), RealRange(-2, Open(-1)) (22.2.1)