Si esto es correcto, es una comprensión bastante sofisticada, debido a que la irracionalidad de formula_2 fue probada en Europa aún en 1761 por Johann Heinrich Lambert.