[math-fun] a formula for primes