Assignment 4: One-Step Inequalities