Reciprocals of Prime-Primes

Calculus Level 2

Let P k P_k be the k th k^\text{th} prime: P 1 = 2 , P_1 = 2, P 2 = 3 , P_2 = 3, and so on. As it turns out, k = 1 1 P k = 1 2 + 1 3 + 1 5 + 1 7 + \displaystyle \sum_{k=1}^{\infty} \frac{1}{P_k}=\frac{1}{2}+\frac{1}{3}+\frac{1}{5} + \frac{1}{7} + \cdots diverges.

Does k = 1 1 P P k = 1 3 + 1 5 + 1 11 + 1 17 + \displaystyle \sum_{k=1}^{\infty} \frac{1}{P_{P_k}} = \frac{1}{3}+\frac{1}{5}+\frac{1}{11}+\frac{1}{17} + \cdots converge?

It diverges We cannot know It converges

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Otto Bretscher
Jan 5, 2016

The prime number theorem tells us that P k k ln ( k ) P_k\sim k\ln(k) and therefore P P k P k ln ( P k ) P_{P_k}\sim P_k\ln(P_k) . For sufficiently large k k we have P P k > 1 2 P k ln ( P k ) > 1 4 k ( ln k ) 2 P_{P_k}>\frac{1}{2}P_k\ln(P_k)>\frac{1}{4}k(\ln k)^2 . Now k = 2 1 k ( ln k ) 2 \sum_{k=2}^{\infty} \frac{1}{k(\ln k)^2} converges by the integral test, so that k = 1 1 P P k \sum_{k=1}^{\infty}\frac{1}{P_{P_k}} will converge as well.

Moderator note:

Nice solution using the comparison to a "standard" sum. It would be helpful to explain how exactly you went from the logic of the approximations to the strict inequalities (for sufficiently large k k ).

A natural extension to this question is to describe all S N S \subset \mathbb{N} such that s S 1 P s \sum_{s \in S} \frac{1}{P_s} converges.

But what does it converge to? :)

D G - 5 years, 5 months ago

Log in to reply

I doubt that this rather contrived sum can be evaluated in closed form.

Otto Bretscher - 5 years, 5 months ago

It's not needed but according to Rosser's theorem it's impressively true that P k > k ln ( k ) P_{k}>k\ln(k) for k N k \in \mathbb{N} .

Isaac Buckley - 5 years, 5 months ago

Log in to reply

Interesting! Thanks!

Otto Bretscher - 5 years, 5 months ago

Log in to reply

I'm your 700th follower :)

Aryan Gaikwad - 5 years, 4 months ago

Log in to reply

@Aryan Gaikwad I'm honoured... I'm your 120th follower now!

Otto Bretscher - 5 years, 4 months ago

Log in to reply

@Otto Bretscher Thanks a lot! :)

Aryan Gaikwad - 5 years, 4 months ago

Might there be some way to prove this that does not rely on something whose proof is as onerous as that of the prime number theorem? The divergence of the sum of the reciprocals of the primes is far easier to prove than that, as is the convergence of the sum of the reciprocals of the twin primes.

Michael Hardy - 5 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...