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?

claimed — no verifier run, no signed judgmentunreviewedOpen. Worked here; no verified result yet.

number theory · open · formalized (Lean) · 0 attempts

use this data

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

Evidence

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 = 0
formal-conjectures/282.lean ↗

Check it yourself

One command re-derives this record's receipts on your machine.

vela reproduce examples/erdos-problems

Verify this yourself

Run this command — the output must match these fingerprints.

vela reproduce examples/erdos-problems
  • packet.json · sha256 6f955af4098d783c427dea3c463ff2d6ed1c2af07ece8109ab0f994686071ad6

Search Vela

Search problems, results, contributors, and pages — or jump straight to an id.