Koristeći princip matematičke indukcije dokazat ćemo da vrijedi an≥n! za svaki prirodni broj n.
Baza indukcije je očito zadovoljena jer za n=1 i n=2 imamo a1=1≥1! i a2=2≥2=2!.
Pretpostavimo da vrijedi za n−2 i n−1, odnosno da vrijedi an−2≥(n−2)! i an−1≥(n−1)!.
Tada je
an=an−1+(n−1)an−2≥(n−1)!+(n−1)(n−2)!=(n−1)!(1+n−1).
Kako je (1+n−1)2=1+2n−1+n−1>n, slijedi da je 1+n−1>n.
Zato je
an≥(n−1)!(1+n−1)>(n−1)!⋅n=n!,
čime je dokazan korak indukcije, a samim time i tvrdnja zadatka.