Algebraic inequality