2 x 2*x + 2 -- < ------- 2 3
x^2/2 < (2*x + 2)/3
(-2/3, 2)
x in Interval.open(-2/3, 2)
And(-2/3 < x, x < 2)
(-2/3 < x)∧(x < 2)