___ \/ x >= 2*x - 1
sqrt(x) >= 2*x - 1
And(0 <= x, x <= 1)
(0 <= x)∧(x <= 1)
[0, 1]
x in Interval(0, 1)