2 (x - 3)*(x + 3) <= (x - 4) - 1
(x - 3)*(x + 3) <= (x - 4)^2 - 1
And(x <= 3, -oo < x)
(x <= 3)∧(-oo < x)
(-oo, 3]
x in Interval(-oo, 3)