6.15 Efficiently Solving Inequalities