_________________ / 2 _______ \/ 2*x - 6*x - 17 >= \/ x - 2
sqrt(2*x^2 - 6*x - 17) >= sqrt(x - 2)
[5, oo)
x in Interval(5, oo)
And(5 <= x, x < oo)
(5 <= x)∧(x < oo)