A végtelen leszállás egy indirekt bizonyítási módszer, amelyet Pierre de Fermat fejlesztett ki, és azon alapul, hogy a természetes számok minden nemüres részhalmazának van legkisebb eleme. A módszer lényege, hogy ha feltételezzük egy egyenlet megoldásának létezését, akkor abból mindig tudunk egy kisebb megoldást konstruálni, ami ellentmondásra vezet – így az egyenlet megoldhatatlan. Fermat ezzel bizonyította a nagy Fermat-tétel n=4 esetét, és a módszer a 20. században újra fontossá vált az algebrai számelméletben, ahol Mordell és André Weil elliptikus görbékre vonatkozó eredményei (például a Mordell–Weil tétel) is ezen az elven alapulnak. A cikk szemlélteti a módszert a √2 irracionalitásának bizonyításával is: a feltételezett racionális alakból kisebb számlálójú és nevezőjű megoldást állítanak elő, ami lehetetlen. Összességében a végtelen leszállás a matematika egyik elegáns és hatékony eszköze, amely a természetes számok rendezési tulajdonságait kihasználva bizonyítja bizonyos egyenletek megoldhatatlanságát.