Skip to content

Erdős problem 282

Let A⊆NA\subseteq \mathbb{N} be an infinite set and consider the following greedy algorithm for a rational x∈(0,1)x\in (0,1): choose the minimal n∈An\in A such that n≥1/xn\geq 1/x and repeat with xx replaced by x−1nx-\frac{1}{n}. If this terminates after finitely many steps then this produces a representation of xx as the sum of distinct unit fractions with denominators from AA.

Sources

The source's own material, retained exactly.

8 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

282.lean

Retained formal statement2 of 8

In 1202 Fibonacci observed that this process terminates for any xx when A=NA=\mathbb{N}.

FormalConjectures/ErdosProblems/282.leanErdos282.erdos_282.variants.fibonacci1 lineExact file
∀ {x : ℚ}, x ∈ Set.Ioo 0 1 → Erdos282.greedyUnitFractionRem Set.univ x =ᶠ[Filter.atTop] 0
TextbookStatement only, no proof