Long runs of integers with small prime factors and the divisor function of $n!$

Source abstract

Let $d$ be the divisor function, and let $K(n)$ be the least positive integer $K$ for which $d((n + K)!) \ge 2d(n!)$. Erdős, Graham, Ivić and Pomerance proved that, for infinitely many $n$, $$\begin{equation*} K(n) > (1/9)(\log n)(\log_{2} n)(\log_{4} n)/(\log_{3} n)^3. \end{equation*}$$ We improve upon this by a factor of order $\log_{3} n$, which brings the bound to the same order as Rankin's 1938 lower bound for gaps between consecutive primes. The two problems are closely related, but a long prime-free interval does not by itself produce a large value of $K(n)$: what is needed is a weighted variant of the Erdős--Rankin construction. We follow the method of Erdős, Graham, Ivić and Pomerance, replacing a key estimate by an averaging argument that permits some integers to remain uncovered. This improvement was formulated and proved during a private interaction with Claude Fable 5.1, a publicly available generative-AI system; the argument is verified and presented here by the author.