L’exercice qui suit établit l’irrationalité de $\pi$, prouvée pour la première fois en 1761 par Lambert à l’aide du développement en fraction continue de la fonction tangente.
