[math-fun] formulas for producing primes