simultaneous_inequality