Erdős problem 257

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

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

257.lean

Retained formal statement1 of 3

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

FormalConjectures/ErdosProblems/257.leanErdos257.erdos_2571 lineExact file

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

OpenStatement only, no proof