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