Module AltErgoLib__Inequalities