Lecture 4: Linear Inequalities