(x^2-9) ≥ 0