English

Decomposing a factorial into large factors

Number Theory 2026-04-06 v4

Abstract

Let t(N)t(N) denote the largest number such that N!N! can be expressed as the product of NN integers greater than or equal to t(N)t(N). The bound t(N)/N=1/eo(1)t(N)/N = 1/e-o(1) was apparently established in unpublished work of Erd\H{o}s, Selfridge, and Straus; but the proof is lost. Here we obtain the more precise asymptotic t(N)N=1ec0logN+O(1log1+cN) \frac{t(N)}{N} = \frac{1}{e} - \frac{c_0}{\log N} + O\left( \frac{1}{\log^{1+c} N} \right) for an explicit constant c0=0.30441901c_0 = 0.30441901\dots and some absolute constant c>0c>0, answering a question of Erd\H{o}s and Graham. For the upper bound, a further lower order term in the asymptotic expansion is also obtained. With numerical assistance, we obtain highly precise computations of t(N)t(N) for wide ranges of NN, establishing several explicit conjectures of Guy and Selfridge on this sequence. For instance, we show that t(N)N/3t(N) \geq N/3 for N43632N \geq 43632, with the threshold shown to be best possible.

Keywords

Cite

@article{arxiv.2503.20170,
  title  = {Decomposing a factorial into large factors},
  author = {Boris Alexeev and Evan Conway and Matthieu Rosenfeld and Andrew V. Sutherland and Terence Tao and Markus Uhr and Kevin Ventullo},
  journal= {arXiv preprint arXiv:2503.20170},
  year   = {2026}
}

Comments

63 pages, 18 figures. Referee comments incorporated

R2 v1 2026-06-28T22:34:36.508Z