Required Inequalities