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. Ha pozitív egész, akkor pontosan akkor osztható -tel, ha , illetve ilyen. Ez azt jelenti, hogy ha osztható -tel, akkor a sorozat elemei is ilyenek, így nem szerepel közöttük az . Tegyük fel ezután, hogy nem osztható -tel; így a sorozat egyetlen további eleme sem. A sorozat elemei pozitív egészek, van tehát közöttük legkisebb: legyen ez . Az most -tel nem osztható pozitív egész, továbbá nyilván páratlan, hiszen különben volna a rákövetkezője és ez kisebb -nél. Így rákövetkezője a páros , ezután pedig következik, és így az kiválasztása szerint ahonnan A talált feltétel két -tel nem osztható páratlan számra teljesül: ezek a és az . A viszont nem lehet ennek a sorozatnak a legkisebb eleme, hiszen ha , akkor . Ez azt jelenti, hogy esetben , azaz pontosan akkor fordul elő a sorozat elemei között az , ha nem osztható -tel. Megjegyzés A megoldásból az is következik, hogy esetén a sorozat elemei között előfordul az , ilyenkor ez a sorozat minimális eleme. |