Convergence of subadditive sequences #
A subadditive sequence
u : ℕ → ℝ is a sequence satisfying
u (m + n) ≤ u m + u n for all
We define this notion as
Subadditive u, and prove in
Subadditive.tendsto_lim that, if
u n / n
is bounded below, then it converges to a limit (that we denote by
convenience). This result is known as Fekete's lemma in the literature.
Define a bundled
SubadditiveHom, use it.