Erdős problem 257

Let $A\subseteq\mathbb{N}$ be an infinite set. Is $\sum_{n\in A} \frac{1}{2^n - 1}$ irrational?

No current result

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

FormalConjectures/ErdosProblems/257.lean

Formal Conjectures

FormalConjectures/ErdosProblems/257.leanErdos257.erdos_2571 lineExact file

1True ↔ ∀ (A : Set ℕ), A.Infinite → Irrational (∑' (n : ↑A), 1 / (2 ^ ↑n - 1))

OpenStatement only, no proof