Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. The set is strongly complete: for every finite set , every sufficiently large integer is a sum of distinct elements of the set outside . This is the case of Problem 351. Van Doorn posted the result in the problem's thread on 2025-09-15 with a write-up in their repository of mathematical notes, pinned above at the commit of that day. The proof combines the proof of Theorem 2 of Graham's 1963 paper (the card Graham 1963) with Alekseyev's theorem that every large integer is a sum of distinct squares whose reciprocals sum to one (the card Alekseyev 2019); the post describes the write-up as essentially Graham's proof adapted. The post also records that Graham asked the same question for in his 1971 paper on sums of integers taken from a fixed sequence.
Covers. The polynomial only. The case is Graham's theorem, and the general case is the full claim on the Price–Barreto page.
Depends on. Nothing in this wiki; the note rests on the two cited papers.
Standing. Claimed. The note is unrefereed and has no arXiv posting, no
formalization and no independent review. The site's remarks credit van
Doorn with the positive solution for , but the site's label,
PROVED (LEAN), settles the whole problem through Barreto's observation that
it follows from Problem 283, not through this note, so no reviewed
evidence is listed. The proof is not compiled in this corpus.