[math-fun] Re: Infinitely many primes, maybe