7.6.15 Efficiently Solving Inequalities