Skip to content

Erdős problem 251

Is ∑n=1∞pn2n\sum_{n=1}^\infty \frac{p_n}{2^n} irrational? Here pnp_n is the nn-th prime (p1=2,p2=3,…p_1=2, p_2=3, \dots).

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/251.lean

Formal Conjectures

FormalConjectures/ErdosProblems/251.leanErdos251.erdos_2511 lineExact file
True ↔ Irrational (∑' (n : ℕ), ↑(Nat.nth Nat.Prime n) / 2 ^ n)
OpenStatement only, no proof

Reported activity

Reported by these sources. Not reviewed here.

Continue