2 2 (4*x - 4) >= (6*x - 4)
(4*x - 4)^2 >= (6*x - 4)^2
And(0 <= x, x <= 4/5)
(0 <= x)∧(x <= 4/5)
[0, 4/5]
x in Interval(0, 4/5)