 Brun's theorem states that the sum of the reciprocals of twin primes,

is finite.Because of Brun's theorem, it is not possible to use Euler's method to solve the twin prime conjecture, that there exist infinitely many twin primes.The prime counting function formula_89 is defined as the number of primes not greater than formula_1.