Fekete lemma

If a real sequence is subadditive, $a_{m+n}\le a_m+a_n$, and is bounded below in the required extended-real sense, then $a_n/n$ converges to ${\inf }_{k\ge 1}{a}_k/k$.