En muchas ocasiones hemos hablado del número π y sus propiedades.Quizás la primera que nos cuentan es que π es irracional y sin embargo no es algo que se suela demostrar, ni siquiera en la carrera de matemáticas (al menos a mí nadie me lo demostró). La historia nos dice que el primero en demostrar la irracionalidad de esta famosa constante fue Johan Lambert en torno a 1761. En el presente artículo, vamos a esbozar la demostración original de Lambert y también daremos una prueba alternativa muy simple debida a Ivan Niven en 1947.