Une variante de la célèbre preuve, apportée par le mathématicien Ivan M. Niven (1915-1999), de l'irrationalité du nombre π.