Suppose the following constraints appear in a linear program: \begin{align*} x_i \geq 0; y_i \geq 0; \ \text{If } x_i > 0, \text{ then } y_i \geq y_j \text { for all jj. } \end{align*} That is, ...