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?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/15.lean

Formal Conjectures

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