_______ x + 4*\/ x - 4 >= 0
x + 4*sqrt(x - 4) >= 0
[4, oo)
x in Interval(4, oo)
And(4 <= x, x < oo)
(4 <= x)∧(x < oo)