El descenso infinito puede ser usado para probar la irracionalidad de la raíz cuadrada de dos.