y^2 > 2x+1