21.5.2: Inequalities and Midpoints