Maths WorkshopMaths problems with full solutions
Exercise 784Calculus › Single-variable calculus › SequencesL1Added 2 Nov 2026

The hierarchy of growth

#growth comparison#ratio test#factorial

Statement

  1. Prove: if un>0u_n>0 and un+1un→L<1\dfrac{u_{n+1}}{u_n}\to L<1, then un→0u_n\to0.
  2. Deduce that for k∈Nk\in\mathbb{N} and a>1a>1: nkan→0\dfrac{n^k}{a^n}\to0, ann!→0\dfrac{a^n}{n!}\to0 and n!nn→0\dfrac{n!}{n^n}\to0.
Hint

For part 1, choose qq with L<q<1L<q<1: eventually un+1≤qunu_{n+1}\le qu_n. For part 2, compute the ratio of consecutive terms.

Show solutionHide solution

Solution

1. Pick q∈(L,1)q\in(L,1). Since un+1un→L\dfrac{u_{n+1}}{u_n}\to L, for ε=q−L\varepsilon = q - L, there is NN such that
un+1un≤L+ε=q,  ∀n≥N.\dfrac{u_{n+1}}{u_n}\leq L + \varepsilon = q, \, \, \forall n\ge N.
Hence
un+1≤qun,  ∀n≥N.u_{n+1} \le qu_n, \, \, \forall n\ge N.
By induction, we get un≤uNqn−N→0u_n\le u_N q^{n-N}\to0 as n→+∞n \to +\infty.

2.
- For un=nkanu_n=\frac{n^k}{a^n}: un+1un=(1+1n)k1a→1a<1\frac{u_{n+1}}{u_n}=\left(1+\frac1n\right)^k\frac1a\to\frac1a<1.
- For un=ann!u_n=\frac{a^n}{n!}: un+1un=an+1→0<1\frac{u_{n+1}}{u_n}=\frac a{n+1}\to0<1.
- For un=n!nnu_n=\frac{n!}{n^n}: un+1un=(n+1)nn(n+1)n+1=(1+1n)−n→1e<1\frac{u_{n+1}}{u_n}=\frac{(n+1)n^n}{(n+1)^{n+1}}=\left(1+\frac1n\right)^{-n}\to\frac1e<1.

Conclusion. For large nn,
ln⁡n≪nk≪an≪n!≪nn.\ln n\ll n^k\ll a^n\ll n!\ll n^n.

Warning. If L=1L=1 the test says nothing: un=1nu_n=\frac1n tends to 00, while un=nu_n=n diverges, though both have ratio →1\to1.