Lambert probó en 1768 que formula_103 es irracional si formula_104 es un racional positivo.