[tex]y+1-x\geq\dfrac{x}{y}\\\\y^2+y-xy\leq x\\y^2+y-xy-x\leq0\\y(y+1)-x(y+1)\leq0\\(y-x)(y+1)\leq0[/tex]
Z czego wynika, że [tex]x\leq y\leq -1[/tex] lub [tex]x\geq y \geq -1[/tex].
Zatem, skoro [tex]x\leq y\leq -1[/tex] to tym bardziej [tex]x< y\leq -1[/tex].
