fekete_lemma (263B)
1 # Fekete lemma 2 3 https://fr.wikipedia.org/wiki/Lemme_sous-additif 4 5 If a [sequence] is [subadditive], i.e., u_{i+j} \leq u_i + u_j, then the [limit] of u_n/n at infinity exists (it may be minus infinity). This is a sufficient condition. 6 7 Up: [lemma], [subadditive]