In mathematics, a sequence { an }, n ≥ 1, is called superadditive if it satisfies the inequality
for all m and n. The major reason for the use of superadditive sequences is the following lemma due to Michael Fekete.
Lemma: (Fekete) For every superadditive sequence { an }, n ≥ 1, the limit lim an/n exists and is equal to sup an/n. (The limit may be positive infinity, for instance, for the sequence an = log n!.)
Similarly, a function f is superadditive if
for all x and y in the domain of f.
For example,
The analogue of Fekete's lemma holds for subadditive functions as well. There are extensions of Fekete's lemma that do not require the definition of superadditivity above to hold for all m and n. There are also results that allow one to deduce the rate of convergence to the limit whose existence is stated in Fekete's lemma if some kind of both superadditivity and subadditivity is present. A good exposition of this topic may be found in Steele (1997).
If f is a superadditive function, and if 0 is in its domain, then f(0) ≤ 0. To see this, take the inequality at the top.
The negative of a superadditive function is subadditive.