Контрольная алгебра неравенства