Irrationality of π² implies the infinitude of primes Posted on 2020/04/04 by Carl Robitaille Since π²/6=∏(1-1/p²)⁻¹ , the irrationality of π² implies the infinitude of primes. A finite product of rationals will always be rational.— Fermat's Library (@fermatslibrary) April 4, 2020