td11 (listes suites) : définition en compréhension

dans la section 1.4, on traduit {i | i ∈ N, i^2 ≤ 25} par [x for x in range(25) if x**2 <= 25]. je ne vois pas comment justifier le range(25). i ∈ N correspond plutôt à i in itertools.count() (voir https://stackoverflow.com/questions/9884213/looping-from-1-to-infinity-in-python et https://docs.python.org/3/library/itertools.html#itertools.count). mais évidemment, ça donne une boucle infinie.

ne devrait-on pas modifier la définition mathématique en {i | i ∈ N, i < 25 et i^2 ≤ 25} ?

et aussi, pourquoi i en math et x en python ?