I have a question to the folowing question:
Explain how to use integer variables and linear inequality constraints to ensure:
A) let $x$ and $y$ be integer variables bounded at 1000. How can you ensure that whenever $x\leq 2$ we have $y\leq 3$. Assume $x$ and $y$ are positive integers.
I've tried to make a constraint for the case where when $x>2$ then $y$ is not restricted as long as it is positive. By introuducing a binary variable $z$, i can assume that when $z=0$ then $y$ is not restricted: $x \leq 2 + M(z)$ and $y \leq 3 + 997(1-z)$ where $M$ is some big integer. Obviously the inequalities are not making that much sense but this was my attempt to solve it.
Any tips would be appreciated.