Ispišimo prvih nekoliko vrijednosti danog niza funkcija za x=4.
f1(4)=2−41=−21,
f2(4)=(f1∘f1)(4)=2+211=52,
f3(4)=(f1∘f2)(4)=2−521=85,
f4(4)=(f1∘f3)(4)=2−851=118=3⋅4−13⋅4−4,
⋯
Uočimo da je svaki član ovog niza oblika
fn(4)=3n−13n−4.(*)
Dokažimo matematičkom indukcijom da je tvrdnja (∗) istinita za sve prirodne brojeve n.
Za n=1 tvrdnja vrijedi, kao što smo već prethodno provjerili.
Pretpostavimo da tvrdnja vrijedi za neki prirodni broj n, odnosno da je
fn(4)=3n−13n−4,
za neki n∈N.
Dokažimo da tvrdnja tada vrijedi i za sljedeći prirodan broj, n+1. Pišemo redom:
fn+1(4)=2−fn(4)1,
po pretpostavci je fn(4)=3n−13n−4, pa je
fn+1(4)=2−3n−13n−41=3n+23n−1=3(n+1)−13(n+1)−4.
Dakle, iz činjenice da tvrdnja (∗) vrijedi za neki n∈N, pokazali smo da vrijedi i za n+1, pa tvrdnja (∗) vrijedi za sve prirodne brojeve n.
Tada vrijedi i za n=2021, pa je
f2021(4)=3⋅2021−13⋅2021−4=60626059.