Subadditive sequence
= Subadditive sequence
= Subadditivity
{synonym}
A real sequence $(a_n)$ is subadditive when $a_{m+n}\leq a_m+a_n$ for all positive $m,n$. <Fekete lemma> gives
$$
\lim_{n\to\infty}\frac{a_n}{n}=\inf_{n\geq1}\frac{a_n}{n},
$$
allowing the value negative infinity.