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