Subadditive sequence (source code)

= 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.