y <= \sqrt{16-x^2}, y >= 0, x >= -3, x <= 2