Korak: Pretpostavimo da za neki prirodan broj n vrijedi An<n+1. Vrijedi
An+1=n+1+An.
Zbog pretpostavke indukcije zaključujemo
An+1<n+1+n+1<n+1+2n+1+1.
Nadalje,
n+1+2n+1+1=(n+1+1)2=n+1+1.
Budući da je A1<1+1 i da iz An<n+1 slijedi An+1<n+1+1, po principu matematičke indukcije zaključujemo da za svaki prirodni broj n vrijedi An<n+1.