Feladat: 1977. évi Nemzetközi Matematika Diákolimpia 23. feladata Korcsoport: 16-17 Nehézségi fok: nehéz
Füzet: 1977/szeptember, 3. oldal  PDF  |  MathML 
Témakör(ök): Indirekt bizonyítási mód, Nemzetközi Matematikai Diákolimpia
Hivatkozás(ok):Feladatok: 1977/november: Pontversenyen kívüli P.292

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.

Legyen f olyan függvény, amely értelmezve van minden n természetes számra, és amelynek függvényértékei is természetes számok! Álljon fenn továbbá az

f(n+1)>f(f(n))
egyenlőtlenség ugyancsak minden n-re!
Bizonyítsuk be, hogy ekkor minden n természetes számra: f(n)=n.