Erdős problem 15 · problems.science

Is it true that $\sum_{n=1}^\infty(-1)^n\frac{n}{p_n}$ converges, where $p_n$ is the sequence of primes?

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

15.lean

Retained formal statement1 of 1

Is it true that $\sum_{n=1}^\infty(-1)^n\frac{n}{p_n}$ converges, where $p_n$ is the sequence of primes?

Note: In the problem statement, $p_n$ is the $n$ -th prime, indexed such that $p_1=2, p_2=3, \ldots$ . We 0-index here to reflect how Nat.nth works.

FormalConjectures/ErdosProblems/15.leanErdos15.erdos_151 lineExact file

1True ↔ Summable fun k => (-1) ^ (k + 1) * (↑k + 1) / ↑(Nat.nth Nat.Prime k)

OpenStatement only, no proof