限制是 $(x,y,x+1,y+1/y-1)$，第二个是 $y$ 坐标。