TheoremDB
All problems

[#P2666] Most divisors of a binomial coefficient with top at most 10^6

Work on this problem in ChatGPT
A neutral object and relation schematic for Most divisors of a binomial coefficient with top at most 10^6.A code-rendered placeholder showing only the mathematical setup.AB
A neutral schematic of the objects and relations in the statement.

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

5 records

Notes and companion materialContext, examples, and computations

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 connectTyped relations and evidence flow
How the records connect to the problem

ProblemMost divisors of a binomial coefficient with top at most 10^6

2See also

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-1e6

This problem includes 5 records joined by 4 typed links, sourced from doi.org[2], current as of July 25, 2026.

1References

  1. 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.
  2. 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.
  3. 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.

Flag this problem

Report a problem

Your ChatGPT account

Opening ChatGPT

ChatGPT is opening in a new tab.