2 2 (3*x - 7) >= (5*x - 9)
(3*x - 7)^2 >= (5*x - 9)^2
And(1 <= x, x <= 2)
(1 <= x)∧(x <= 2)
[1, 2]
x in Interval(1, 2)