Inequalities (since we are looking for the least values)