[#P2666] Most divisors of a binomial coefficient with top at most 10^6
Problem. Let \(\tau(m)\) denote the number of positive divisors of \(m\). Determine \(\max_{1\le k<n\le10^6}\tau\!\binom{n}{k}\).
1Context
This finite arithmetic problem asks for the largest divisor count attained by any nontrivial binomial coefficient in the stated range.
2Problem setup
Definition 1 (divisor function). The divisor function \(\tau(m)\) is the number of positive divisors of \(m\).
Convention 1. By the symmetry \(\binom nk=\binom n{n-k}\), a search may restrict to \(k\le n/2\).
3What counts as a solution
- Give an attaining pair (n,k), its prime-exponent certificate, and a complete exact sweep through n=10^6.
1Status
Current status (A certified cutoff-scale coefficient gives a 16,113-digit lower bound). The exact factorization of \(\binom{1000000}{499985}\) gives a 16,113-digit divisor-count lower bound; no matching upper bound or complete sweep over \(1\le k<n\le10^6\) is recorded, so the exact maximum remains open.[2]
1Records
Notes and companion material
Original intake status. UNKNOWN as of 2026-07-25. An exact 100-million-state recurrence sweep gives a 469-digit divisor count. The checked sources do not settle the full acceptance condition.
- The dated packet audit checked the exact title, parameter, and the terminology used by the cited primary literature.
- The strongest recorded neighboring result is: An exact 100-million-state recurrence sweep gives a 469-digit divisor count.
- The controlled TheoremDB corpus was checked for equivalent formulations and contains no duplicate published target.
Recorded example 1. The prefix record occurs at (n,k)=(1992,943).
Computational notes
- A smallest-prime-factor table and exact exponent updates checked every 1<=k<n<=2000, using k<=n/2 by symmetry. The largest divisor count was 38875045166713492745911146937917405680217134825593324271610888192 at C(1992,943); all exponent updates ended integral and nonnegative.
How the 5 records connect
ProblemMost divisors of a binomial coefficient with top at most 10^6
- Computation 1A certified cutoff-scale coefficient gives a 16,113-digit lower boundin this packetReproduced
- Artifact 2Legendre factorization and divisor-count replaychecksReproduced
- Computation 2The exact record through n=20,000 occurs at (19,971, 9,949)in this packetReproduced
- Artifact 1Exact 100-million-state binomial recurrence sweepreproducesReproduced
- Route 1The literature audit found asymptotic and central-coefficient resultscontextualizesInconclusive
2See also
- Largest rainbow squarefree gap below 10^12multiplicative number theory
- Longest rainbow divisor-count interval below 10^12multiplicative number theory
- Classify factorials in the interior of Pascal's trianglebinomial coefficients
How to cite
TheoremDB contributors, “Most divisors of a binomial coefficient with top at most 10^6,” TheoremDB research memory, snapshot of July 25, 2026. https://theoremdb.org/statements/binomial-divisor-record-1e6This page as plain text: binomial-divisor-record-1e6.md
This problem includes 5 records joined by 4 typed links, sourced from doi.org[2], current as of July 25, 2026.
1References
- David Johnson-Davies, “A048784: a(n) = tau(binomial(2*n,n)), where tau is the number of divisors,” The On-Line Encyclopedia of Integer Sequences, checked 2026-08-01. OEIS A048784; G. V. Fedorov, On the number of divisors of binomial coefficients, Mathematical Notes 93 (2013), 308-316, DOI 10.1134/S0001434613010331; Paul Erdős and Grigori Kolesnik, Prime power divisors of binomial coefficients, Discrete Mathematics 200 (1999), 101-117, DOI 10.1016/S0012-365X(98)00326-4. ↗reference database · reference source · web version checked 2026-07-25 · checked 2026-07-25Source use: original summary.Reused material: Entry definition, values, comments, programs, and linked references.Reuse basis: fair use reviewed · rights holder: The OEIS Foundation Inc. and the credited contributors · checked 2026-08-01 by Philip Weiss, TheoremDB staff.Required attribution: David Johnson-Davies, “A048784: a(n) = tau(binomial(2*n,n)), where tau is the number of divisors,” The On-Line Encyclopedia of Integer Sequences, checked 2026-08-01.The literature audit found asymptotic and central-coefficient results. The sources located do not give the two-parameter bounded record at one million.Also cited at Entry definition, values, comments, programs, and linked references.For Most divisors of a binomial coefficient with top at most 10^6, this source records the divisor count for central binomial coefficients without claiming the packet’s two-parameter bounded record.
- Packet source. G. V. Fedorov, “On the number of divisors of binomial coefficients”. Mathematical Notes 93(1-2) (2013), 308-316. DOI 10.1134/S0001434613010331. OEIS A048784; G. V. Fedorov, On the number of divisors of binomial coefficients, Mathematical Notes 93 (2013), 308-316, DOI 10.1134/S0001434613010331; Paul Erdős and Grigori Kolesnik, Prime power divisors of binomial coefficients, Discrete Mathematics 200 (1999), 101-117, DOI 10.1016/S0012-365X(98)00326-4. ↗journal article · primary source · version of record · checked 2026-07-25Source use: original summary.The literature audit found asymptotic and central-coefficient results. The sources located do not give the two-parameter bounded record at one million.Also cited at Exact Legendre-valuation replay in bdr1m-artifact-factorization-replay.Also cited at Exact recurrence sweep in bdr1m-artifact-exact-prefix-sweep and Legendre certificate in bdr1m-artifact-factorization-replay.Also cited at Inline C++17 computation executed on 2026-07-25.Also cited at Inline CPython standard-library computation reproduced on 2026-07-25.For Most divisors of a binomial coefficient with top at most 10^6: The literature audit found asymptotic and central-coefficient results. The sources located do not give the two-parameter bounded record at one million.Source named by the research packet.
- Paul Erdös and Grigori Kolesnik, “Prime power divisors of binomial coefficients”. Discrete Mathematics 200(1-3) (1999), 101-117. DOI 10.1016/S0012-365X(98)00326-4. OEIS A048784; G. V. Fedorov, On the number of divisors of binomial coefficients, Mathematical Notes 93 (2013), 308-316, DOI 10.1134/S0001434613010331; Paul Erdős and Grigori Kolesnik, Prime power divisors of binomial coefficients, Discrete Mathematics 200 (1999), 101-117, DOI 10.1016/S0012-365X(98)00326-4. ↗journal article · primary source · version of record · checked 2026-07-25Source use: original summary.The literature audit found asymptotic and central-coefficient results. The sources located do not give the two-parameter bounded record at one million.For Most divisors of a binomial coefficient with top at most 10^6: The literature audit found asymptotic and central-coefficient results. The sources located do not give the two-parameter bounded record at one million.
CC0 bounded divisor-record target with an exact prime-exponent recurrence.