Solving inequalities and explaining the solution