We give a very elegant (and useful) application of the idea of supremum and infimum. This result is attributed to Michael Fekete, and gets applied in many places, including number theory, combinatorics, and analysis. First, a definition.

Definition.

A sequence $\left({a}_{n}\right)$ of nonnegative terms is subadditive if ${a}_{n+m}\u2a7d{a}_{n}+{a}_{m}$ for all $n,m\in \mathbb{N}$.

Fekete's lemma.

Let $\left({a}_{n}\right)$ be a subadditive sequence of nonnegative terms ${a}_{n}$. Then $\left(\frac{{a}_{n}}{n}\right)$ is bounded below and converges to $inf\{\frac{{a}_{n}}{n}:n\in \mathbb{N}\}$.

**Proof.**

To see that the sequence is bounded below, just note that ${a}_{n}\u2a7e0$ so $\frac{{a}_{n}}{n}\u2a7e0$ for each $n\in \mathbb{N}$.

Now let $l=inf\{\frac{{a}_{n}}{n}:n\in \mathbb{N}\}$. We must prove that $\frac{{a}_{n}}{n}\to l$.

**Subproof.**

Let $\epsilon >0$ be arbitrary.

**Subproof.**

Let $K\in \mathbb{N}$ such that $\left|\frac{{a}_{K}}{K}-l\right|<\epsilon /2$. There is some such $K$, since if not $l+\epsilon /2$ would also be a lower bound, contradicting the fact that $l$ is the greatest lower bound.

Let $M\in \mathbb{N}$ be such that $\frac{{a}_{r}}{KM}<\epsilon /2$ for all $r=0,1,2,\dots ,K-1$. To find such an $M$ just find $R=max\{\frac{{a}_{r}}{K}:r<K\}$ and choose $M$ so that $R/M<\epsilon /2$.

Let $N=KM$.

**Subproof.**

Let $n\u2a7eN$ be arbitrary.

Let $r,s\in \mathbb{N}$ such that $n=sK+r$ with $r<K$. So $s\u2a7eM$.

Then $\frac{{a}_{n}}{n}\u2a7d\frac{s{a}_{K}}{sK+r}+\frac{{a}_{r}}{sK+r}\u2a7d\frac{s{a}_{K}}{sK}+\frac{{a}_{r}}{KM}\u2a7d\frac{{a}_{K}}{K}+\frac{{a}_{r}}{KM}<(l+\epsilon /2)+\epsilon /2$ since $\frac{{a}_{K}}{K}<l+\epsilon /2$. This means that $\left|\frac{{a}_{n}}{n}-l\right|<\epsilon $ since $\frac{{a}_{n}}{n}\u2a7el$ by the definition of $l$.

Therefore $\forall n\u2a7eN\left|\frac{{a}_{n}}{n}-l\right|\epsilon $.

Therefore $\exists N\in \mathbb{N}\forall n\u2a7eN\left|\frac{{a}_{n}}{n}-l\right|\epsilon $.

Therefore $\forall \epsilon >0\exists N\in \mathbb{N}\forall n\u2a7eN\left|\frac{{a}_{n}}{n}-l\right|\epsilon $.

For an example of a subadditive sequences, consider ${a}_{n}=\sqrt{n}$. It is easy to check ${a}_{n+m}=\sqrt{n+m\u2a7d\sqrt{n}+\sqrt{m}}$. Fekete's lemma says that $\left(\frac{{a}_{n}}{n}\right)$ converges. So it does: to $0$; this isn't terribly difficult and left as an exercise. Other easy examples of subadditive sequences include ${b}_{n}=n$, for which $\left(\frac{{b}_{n}}{n}\right)$ is a constant sequence converging to $1$.