-x^2+9>=0