Chapter 0.5: Solving Non-Linear Inequalities