解: x^2 >= 9 。