_________ / 2 _________ \/ x - 10 >= \/ 2*x + 5
sqrt(x^2 - 10) >= sqrt(2*x + 5)
[5, oo)
x in Interval(5, oo)
And(5 <= x, x < oo)
(5 <= x)∧(x < oo)