1 - 4*x < 2*x + 2/3 - x - 1/2
1 - 4*x < -x + 2*x + 2/3 - 1/2
And(1/6 < x, x < oo)
(1/6 < x)∧(x < oo)
(1/6, oo)
x in Interval.open(1/6, oo)