Representation and application of inequalities