___ \/ x <= x
sqrt(x) <= x
Or(And(1 <= x, x < oo), x = 0)
(x = 0))∨((1 <= x)∧(x < oo)
{0} U [1, oo)
x in Union(FiniteSet(0), Interval(1, oo))