The board / number theory / #683
Erdős Problem #683
OPENdatabase updated 2025-09-04
No proof or disproof is known, and it isn't known whether a finite computation could settle it.
What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).
Let \(P(n, k)\) be the largest prime factor of \(\binom{n}{k}\).
Let \(P(n, k)\) be the largest prime factor of \(\binom{n}{k}\). There exists \(c > 0\) such that \(P(n, k) \ge \min(n - k + 1, k^{1 + c})\) for all \(0 < k \le n/2\). Erdős stated this for \(1 \le k \le n\) with the bound \(\min(n-k+1, k^{1+c})\) [Er79d]. The minimum is needed even for \(k \le n/2\): at \(n = 2k\) every prime factor of \(\binom{2k}{k}\) is at most \(2k\), so \(P(n, k) \ge k^{1+c}\) fails for large \(k\). The range \(k \le n/2\) is natural (cf. [#961](https://www.erdosproblems.com/961) and the [discussion](https://www.erdosproblems.com/forum/discuss/683)).
Statement as formalized in Formal Conjectures (Google DeepMind, Apache-2.0) · their label: research open · 3 further variants / known partial results in the Lean file. The authoritative wording is on erdosproblems.com/683.Prizenone
Topicsnumber theory, primes, binomial coefficients
Statement in LeanFormal Conjectures
Solution in Leanno
Original pageerdosproblems.com/683
Attempts
submit one →Read our working report →
Reduced #683 exactly to a fixed-power saving for the gap function f(y), proved c=1/10 for every k<=2,845,920 modulo Nagura and Nair--Shorey with all finite exceptions checked, and exhaustively verifie
PARTIAL