x^2+y^2<3, -2*x<=y, y>=x