Tvrdnju dokazujemo jednom varijantom matematičke indukcije: u koraku indukcije pokazat ćemo da, ako tvrdnja vrijedi za neka dva uzastopna prirodna broja, ona vrijedi i za broj koji slijedi. Stoga je potrebno provjeriti da tvrdnja vrijedi za n=1 i n=2.
a1=1<47, a2=3=1648<1649=(47)2 pa je baza indukcije zadovoljena.
Pretpostavimo da za neki k∈N vrijedi ak−2<(47)k−2 i ak−1<(47)k−1.
Sada raspisujemo:
ak=ak−1+ak−2< (po pretpostavci indukcije)<(47)k−1+(47)k−2=(47)k−2(47+1)=(47)k−2⋅411=(47)k−2⋅1644<(47)k−2⋅1649=(47)k−2⋅(47)2=(47)k.
Pokazali smo da vrijedi ak<(47)k.
Po principu matematičke indukcije zaključujemo da za sve n∈N vrijedi an<(47)n.