%md **Lemma 4.** _There is an $n_0 > 0$ such that $a_n < 2^n$ for all $n > n_0$._

Lemma 4. There is an $n_0 > 0$ such that $a_n < 2^n$ for all $n > n_0$.