Erdős problem 251

Is $\sum_{n=1}^\infty \frac{p_n}{2^n}$ irrational? Here $p_n$ is the $n$ -th prime ( $p_1=2, p_2=3, \dots$ ).

Sources

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

FormalConjectures/ErdosProblems/

251.lean

Retained formal statement1 of 1

Is $\sum_{n=1}^\infty \frac{p_n}{2^n}$ irrational? Here $p_n$ is the $n$ -th prime ( $p_1=2, p_2=3, \dots$ ).

FormalConjectures/ErdosProblems/251.leanErdos251.erdos_2511 lineExact file

1True ↔ Irrational (∑' (n : ℕ), ↑(Nat.nth Nat.Prime n) / 2 ^ n)

OpenStatement only, no proof