Tag: inconsistency in algebraic inequalities solving techniques