Legyen a0<a1<a2<... pozitív egészeknek egy végtelen sorozata. Bizonyítsuk be, hogy létezik egy egyértelműen meghatározott n≥1 egész szám, amire