Inequalities and solving