where formula_15 is the Euler–Mascheroni constant and formula_16 which approaches 0 as formula_8 goes to infinity. Leonhard Euler proved both this and also that the sum which includes only the sum of the reciprocals of the primes diverges also diverges, that is: