0 < x < 1/2, x^2 + y^2 < 1, y>0