10-reduced-inequalities