(x+1)^2>=(y-2)^2