______________ / 2 _________ \/ x - 7*x + 5 >= \/ 3*x - 4
sqrt(x^2 - 7*x + 5) >= sqrt(3*x - 4)
[9, oo)
x in Interval(9, oo)
And(9 <= x, x < oo)
(9 <= x)∧(x < oo)