Skip to content

Problem

erdos:390

Let f(n)f(n) be the least mm for which n!n! can be written as a1⋯aka_1\cdots a_k with n<a1<⋯<ak=mn < a_1 < \cdots < a_k = m - the smallest possible largest factor in a factorization of n!n! into distinct integers all exceeding nn. Erdős, Guy and Selfridge proved f(n)−2n≍n/log⁡nf(n) - 2n \asymp n/\log n. Erdős asked whether there is a constant cc with f(n)−2n∼c nlog⁡n,f(n) - 2n \sim c\,\frac{n}{\log n}, and what it is. This preprint answers yes and names the constant: lim⁡n→∞(f(n)−2n)log⁡nn=402963959825970038185≈0.15516.\lim_{n\to\infty}\frac{(f(n)-2n)\log n}{n} = \frac{4029639598}{25970038185} \approx 0.15516.

Declared status
open
Formalization
formalized
OEIS
A193429

Matching claims

0
No direct claims
This problem has no directly related claim record.