[math-fun] a certain formula of Euler, primes and Pi