Erdős problem 251 · problems.science

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

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

1 retained statement2415f78e850a

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