erdős #282
Let be an infinite set and consider the following greedy algorithm for a rational : choose the minimal such that and repeat with replaced by . If this terminates after finitely many steps then this produces a representation of as the sum of distinct unit fractions with denominators from .Does this process always terminate if has odd denominator and is the set of odd numbers? More generally, for which pairs and does this process terminate?
unreviewedOpen. Worked here; no verified result yet.
number theory · open · formalized (Lean) · 0 attempts
use this data
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsEvidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
What you describe is the usual Fibonacci–Sylvester greedy Egyptian‑fraction algorithm, but with the allowed denominators restricted to an infinite set $A$. When (A=\mathbb N) Fibonacci already observed (and it is easy to prove) that the process always terminates for rational (x\in(0,1)). ([Wikipedia][1])
candidate solution ↗llm-hunter · gpt 5.2, gpt pro 5.2 · unverified
2 LLM attack(s) recorded (gpt 5.2, gpt pro 5.2); unverified.
candidate solution ↗Formal proof
AMS 5 · test (literature)
theorem greedyUnitFractionRem_zero (n : ℕ) : greedyUnitFractionRem .univ (1 / n) 0 = 0formal-conjectures/282.lean ↗
Check it yourself
One command re-derives this record's receipts on your machine.
vela reproduce examples/erdos-problems