Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is this series known to converge, and if so, what does it converge to (if known)?

Where $p_n$ is prime number $n$, and $p_1 = 2$,

$$\sum\limits_{n=1}^\infty \frac{1}{p_n}$$

share|cite|improve this question
3  
A cultural note: Euler was (as far as I know) the first person to observe that this series diverges (and without assuming a priori that it was an infinite series), thus obtaining a new proof of the infinitude of the primes. This was a precursor to Dirichlet's work in which he proved the infinitude of primes in arithmetic progressions, and then Riemann, Hadamard, and de la Vallee Poussin's work leading to the prime number theorem. – Matt E Dec 31 '10 at 4:28
2  
Unfortunately, the same technique does not apply for other problems. For instance, the sum of reciprocals of the twin primes converges and the existence of infinitely many twin primes remains open. – lhf Dec 31 '10 at 6:57
up vote 10 down vote accepted

No, it does not converge. See this: Proof of divergence of sum of reciprocals of primes.

In fact it is known that $$\sum_{p \le x} \frac{1}{p} = \log \log x + A + \mathcal{O}(\frac{1}{\log^2 x})$$

Related: Proving $\sum\limits_{p \leq x} \frac{1}{\sqrt{p}} \geq \frac{1}{2}\log{x} -\log{\log{x}}$

share|cite|improve this answer

I would like to note that this implies that according the Müntz-Szász Theorem that every continuous function in $[0,1]$ is a uniform limit of polynomials whose exponents are prime numbers!

share|cite|improve this answer
    
Could that implication possibly have any applications? – KCd Dec 31 '10 at 22:09
    
@KCd: I don't know, I'm more into analysis and there (at least the part I do) prime numbers are not that important, maybe it can be useful in analytic number theory. – Jonas Teuwen Jan 1 '11 at 15:13

Let's start with three lemmas:

  1. Suppose $A\subseteq\{1,2,3,\ldots\}$ and $\sum\limits_{n\in A} \dfrac 1 n < \infty$. Then $\sum\limits_{n\in B} \dfrac 1 n <\infty$ where $B$ is the closure of $A$ under multiplication.

  2. The closure of the set of primes under multiplication is all of $\{1,2,3,\ldots\}$.

  3. $\sum\limits_{n=1}^\infty \dfrac 1 n = \infty$.

The second lemma is obvious. The third has a number of well known simple proofs. Here is one of those: \begin{align} & \frac 1 1 + \frac 1 2 + \frac 1 3 + \frac 1 4 + \frac 1 5 + \frac 1 6 + \cdots \tag 1 \\[10pt] \ge {} & \left(\frac 1 2 + \frac 1 2 \right) + \left( \frac 1 4 + \frac 1 4 \right) + \left( \frac 1 6 + \frac 1 6 \right) + \cdots \tag 2 \\[10pt] = {} & \frac 1 1 + \frac 1 2 + \frac 1 3 + \cdots \end{align} The inequality on line $(2)$ is strict if the sum on line $(1)$ is finite, and that leads us to a contradiction. ${}\qquad\blacksquare$

The proof of lemma 1 is most of the work; here it is:

\begin{align} & \sum_{n\in B} \frac 1 n = \overbrace{\sum_{\begin{smallmatrix} C\subseteq A \\[2pt] C \text{ is finite} \end{smallmatrix}} \prod_{k\in C} \frac 1 k = \prod_{a\in A} \sum_{x=0}^\infty \frac 1 {a^x}}^\text{factoring -- see below} = \prod_{a\in A} \frac 1 {1-\frac 1 a} \\[10pt] = {} & \exp \sum_{a\in A} - \log\left( 1 - \frac 1 a\right) \le \exp \sum_{a\in A} \frac 1 a < \infty. \end{align}

Here's the factorization in more detail: Let $A=\{a_1,a_2,a_3,\ldots\}$. Then the product to the right of $\text{“}=\text{''}$ under the $\overbrace{\text{overbrace}}$ above is \begin{align} & \left( 1 + \frac 1 {a_1} + \frac 1 {a_1^2} + \frac 1 {a_1^3} + \cdots \right) \\ \times {} & \left( 1 + \frac 1 {a_2} + \frac 1 {a_2^2} + \frac 1 {a_2^3} + \cdots \right) \\ \times {} & \left( 1 + \frac 1 {a_3} + \frac 1 {a_3^2} + \frac 1 {a_3^3} + \cdots \right) \\ \times {} & \quad \cdots \cdots. \end{align} When you expand the product, you multiply a term from the first factor, a term from the second factor, a term from the third factor, etc., but all except finitely many of those are $1$. The reason all but finitely many are $1$ is that if you multiply infinitely many non-$1$s, then the product is $0$, since its a product of infinitely many positive numbers less than $1/2$. Then you add up all possible such finite products, and that gives you the sum to the left of $\text{“}=\text{''}$ under the $\overbrace{\text{overbrace}}$ above.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.