[math-fun] Infinitely many primes, maybe