[math-fun] Primes question