0<x<1<y
(x-1)(y-1)<0
xy+1<x+y