 Total monotonicity (sometimes also "complete monotonicity") of a function means that is continuous on , infinitely differentiable on , and satisfies

for all nonnegative integers and for all .Another convention puts the opposite inequality in the above definition.The "weighted average" statement can be characterized thus