Erdős Problem #387 — Is there an absolute constant c>0c>0 such that, for all 1≤k<n1\leq k< n, the binomial coefficient (nk)\binom{n}{k} has a divisor in (cn,n](cn,n]?

About 50 years old · traced to

Is there an absolute constant c>0c>0 such that, for all 1≤k<n1\leq k< n, the binomial coefficient (nk)\binom{n}{k} has a divisor in (cn,n](cn,n]?

References

Progress summary

Refreshed
Claimed progress

A 2026 study proves the conjecture in a broad large-parameter range and finds conditional counterexamples in a small-parameter range, but the original question remains unresolved.

Erdős and Graham conjectured that some divisor of every relevant binomial coefficient lies between a fixed positive fraction of nn and nn. Erdős also proposed the stronger version requiring this for every fixed c<1c<1 once nn is sufficiently large.

May 2026 paper

The paper proves that, for sufficiently large nn, a divisor lies in (n−n/(log⁡n)1/4,n]\left(n-n/(\log n)^{1/4},n\right] when exp⁡((log⁡n)2/3+ϵ)≤k≤n/2\exp((\log n)^{2/3+\epsilon})\leq k\leq n/2. It also gives infinitely many small-kk counterexamples; the resulting failure of any fixed-multiple assertion is conditional on GRH, while computations refute stronger bounds such as 3n/43n/4. These are claimed advances, not an unconditional resolution of Problem #387\#387.

Current status (as of September 2026): The large-kk regime is claimed proved and conditional small-kk counterexamples are reported, but the original fixed-positive-multiple assertion remains open unconditionally.

Sources

Solutions 0

No solutions have been posted yet.