transitivity of inequalities