Introduce nonnegative dual variables and for the two constraints. The dual of a minimization linear program in inequality form is
Indeed, if and are feasible, then
which is weak duality.