Skip to content

Erdős problem 282

Let ANA\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 nAn\in A such that n1/xn\geq 1/x and repeat with xx replaced by x1nx-\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

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

8 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

282.lean

Retained formal statement3 of 8

More generally, for which pairs xx and AA does this process terminate?

FormalConjectures/ErdosProblems/282.leanErdos282.erdos_282.variants.general1 lineExact file
∀ (x : ℚ) (A : Set ℕ), Erdos282.greedyUnitFractionRem A x =ᶠ[Filter.atTop] 0 ↔ (x, A) ∈ sorry
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page