"Akkor lenne igaz, ha lenne olyan n index, hogy a sorozat n-edik eleme nem véges sok, hanem végtelen sok számjegyből áll."

Azt értem, hogy ez elégséges. Azt nem látom, hogy mitől szükséges.