____________ ______________ / 2 / 2 \/ x - x - 8 >= \/ x + 2*x - 8
sqrt(x^2 - x - 8) >= sqrt(x^2 + 2*x - 8)
And(x <= -4, -oo < x)
(x <= -4)∧(-oo < x)
____ 1 \/ 33 (-oo, -4] U {- + ------} 2 2
x in Union(FiniteSet(1/2 + sqrt(33)/2), Interval(-oo, -4))