Constrain one variable to be greater than another

Likewise. Can anyone else help us with the intuition?