Adding explicit variable bounds to eq:prob_cost_decrease

Both \mu and \lambda must be positive for the logarithms to be real
valued.