x^2+(y+1)^2<=1 , x>=0, y+x<=0