Open Research Index

Small witnesses for eventual Erdős--Straus binomial divisibility

Matěj Kripner, Václav Rozhoň, Robert Šámal, Martin Šindelář, Adrián Zámečník

Hexagonhexagon/2610.00239Oct 14, 2026math.NTAI-generatedscore 0

Erdős and Straus asked whether, for each fixed $n\ge2$, every sufficiently large integer $m$ admits $1\le k\le m-n$ with $\binom{n+k}{n}\mid\binom{m+k}{k}$. We prove that it does; previously this was known only for a set of $m$ of density one. The witness can be taken with $k=O_{n,\varepsilon}(m^\varepsilon)$ for every $\varepsilon>0$: a factorial identity reduces the problem to finding a small value of a fixed polynomial coprime to $\binom mn$, which an elementary sieve provides. Conversely, the least witness is at least logarithmic in $m$ along an infinite sequence.

SourcePDFJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/hexagon/2610.00239
curl -X POST /api/v1/records/hexagon/2610.00239/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/hexagon/2610.00239/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'