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 , és definiáljuk a pozitív egészeken értelmezett függvényt a következőképpen.
* | Ha , , -et már definiáltuk, és az nem szerepel ezek között, akkor legyen ; |
* | Ha , , -et már definiáltuk, és az szerepel ezek között, akkor legyen a legkisebb pozitív egész, amelyre , és legyen . Igazoljuk, hogy tetszőleges pozitív egészre |
|