Prvo rješenje
Ako broj an završava s određenim brojem devetki, onda broj an+1 završava s isto toliko nula. Definirajmo niz (bn) tako da je bn=an+1. Treba dokazati da b11 završava s barem 2011 nula. Vrijedi b0=10.
Uvrštavanjem ak=bk−1 i ak+1=bk+1−1 u danu relaciju dobivamo
bk+1−1=3(bk−1)4+4(bk−1)3,
odnosno
bk+1−1=3(bk4−4bk3+6bk2−4bk+1)+4(bk3−3bk2+3bk−1),
pa je
bk+1=3bk4−8bk3+6bk2=bk2(3bk2−8bk+6).
Iz dobivene formule zaključujemo da, ako bk završava s m nula, onda bk+1 završava s barem 2m nula. Kako b0 završava s jednom nulom, slijedi da b1 završava s dvije nule, b2 s četiri nule, b3 s 8 nula, i općenito bk završava s (barem) 2k nula. Broj b11 završava s barem 211=2048 nula, pa a11 završava s barem 2048 devetki. Time je tvrdnja dokazana.
Drugo rješenje
Pretpostavimo da ak završava s l devetki, tj. da je
ak=A⋅10l−1
za neki A∈N. Tada je
ak+1=3(A⋅10l−1)4+4(A⋅10l−1)3,
odnosno
ak+1=(A⋅10l−1)3(3A⋅10l+1)=3A4⋅104l−8A3⋅103l+6A2⋅102l−1=102l(3A4⋅102l−8A3⋅10l+6A2)−1.
A to znači da ak+1 završava s 2l devetki. Kako a0 završava s jednom devetkom, a1 završava s dvije devetke, …, a11 završava s 211=2048 devetki, čime je tvrdnja dokazana.