[math-fun] Salem number primes