An inequality which states that the absolute value of the sum of n terms, each in the form ab, where the bs are positive numbers, is not greater than the product of the largest b with the largest absolute value of a partial sum of the as.