y ≤ sqrt(9 - x^2) and y ≥ x