x x - 1/2 - x >= - - x 3
-x + x - 1/2 >= -x + x/3
[3/4, oo)
x in Interval(3/4, oo)
And(3/4 <= x, x < oo)
(3/4 <= x)∧(x < oo)