Erdős problem 257 · problems.science

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

Sources

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

3 retained statements2415f78e850a

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