„Végtelen leszállás” változatai közötti eltérés

a
q nem nagyobb
(→‎√k irracionális, ha nem egész: A korábbi szöveg egyértelműen elírás, mivel a legnagyobb, √k-nál nem kisebb egész bármely √k-ra a végtelen. A legnagyobb, √k-nál kisebb egész már értelmezhető, és így lesz igaz a bizonyítás.)
a (q nem nagyobb)
Legyen ''k'' pozitív egész. Belátjuk, hogy ha √''k'' nem egész, akkor irracionális.
 
Feltesszük, hogy mégis racionális. Legyen √''k'' = <sup>''m''</sup>/⁄<sub>''n''</sub>, ahol <sup>''m''</sup> és ⁄<sub>''n''</sub> a lehető legkisebb természetes számok. Legyen továbbá ''q'' a legnagyobb egész, ami kisebbnem nagyobb √''k''-nál.
 
Ekkor