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