Erdős problem 298 · problems.science

Does every set $A \subseteq \mathbb{N}$ of positive density contain some finite $S \subset A$ such that $\sum_{n \in S} \frac{1}{n} = 1$ ?

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

298.lean

Retained formal statement2 of 2

The literal natural-density interpretation of Erdős Problem 298 follows from [Bl21].

FormalConjectures/ErdosProblems/298.leanErdos298.erdos_298.variants.natural_density1 lineExact file

1True ↔ ∀ (A : Set ℕ), 0 ∉ A → A.HasPosDensity → ∃ S, ↑S ⊆ A ∧ ∑ n ∈ S, 1 / ↑n = 1

SolvedStatement only, no proof