Feladat: F.3100 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Braun Gábor 
Füzet: 1996/október, 418. oldal  PDF  |  MathML 
Témakör(ök): Számsorozatok, Rekurzív eljárások, Feladat
Hivatkozás(ok):Feladatok: 1996/január: F.3100

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

A definíció alapján a sorozat pozitív tagú, és szigorúan monoton nő. Ugyancsak a definíció alapján, ha n2, akkor

an=an-1+1an-2=an-2+1an-3+1an-2=...=a1+1a0+1a1+...+1an-2n1an.
Ez átrendezve an2n, ami éppen az állítás.
Az n=0 és n=1 esetre az állítás behelyettesítéssel ellenőrizhető.
 
Megjegyzés. A rekurziós kifejezést négyzetre emelve kapjuk, hogy n2 esetén
an+12=an2+2anan-1+1an-12=an2+2an-1+1an-2an-1+1an-12=an2+2+2an-1an-2+1an-12.
Ebből nem nehéz igazolni, hogy n2 esetén
2nan2<2n+lnn+1.