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
Irrationality of π² implies the infinitude of primes
Reply

