xy\ge1,x^2-y^2\ge1,y\ge0