7.1 Inequalities