Ülesandeks on kontrollida etteantud positiivse täisarvu jaoks, kas ta on 2 aste. Vaatleme järgmist algoritmi selle ülesande lahendamiseks. Kui arv on paarisarv, siis jagatakse ta 2-ga ja korratakse sama tegevust tulemuseks saadud arvuga. Kui nii tehes jäädakse lõpuks pidama arvul 1, siis tagastatakse „tõene”, vastasel korral aga tagastatakse „väär”. Milline on selle algoritmi halvima juhu keerukushinnang kujul Θ(f(n)), kus n on argumendiks saadud arvu numbrite arv kahendsüsteemis? Eeldada, et kõik jagamised on keerukusega Θ(1).