Skip to main content
3 of 7
added 139 characters in body
GH from MO
  • 105.4k
  • 8
  • 293
  • 398

Here is a quick proof that there are only finitely many solutions.

We use $m!=(n-3)(n^2+3n+9)$. Here $n$ is divisible by $3$, hence $n^2+3n+9$ is not divisible by any prime $p\equiv 2\pmod{3}$. In other words, all the prime divisors $p\equiv 2\pmod{3}$ of $m!$ are contained in $n-3$ with multiplicity. It follows, with the usual notations, that

$$ \frac{\log m!}{3}>\log(n-3)\geq\sum_{p\equiv 2 \ (3)}v_p(m!)\log p> \sum_{p\equiv 2\ (3), \ p\leq m} \left(\frac{m}{p}-1\right)\log p.$$

The left hand side is $\sim (m\log m)/3$, while the right hand side is $\sim (m\log m)/2$ by Dirichlet's theorem. Hence for large $m$ the inequality must fail.

EDIT. Using some bounds based on the work of Bordelles (see here) I can see for $m>10$ that $$\left|\sum_{p\leq m}\frac{\chi(p)\log p}{p}\right|<3\left|\frac{L'(1,\chi)}{L(1,\chi)}\right|+2.7<4,$$ where $\chi$ is the nontrivial character modulo $3$. Hence for $m>10$ the original bound implies $$\frac{m\log m}{3}>\frac{m(\log m-9)}{2},$$ so that $m < e^{27}<10^{12}$.

GH from MO
  • 105.4k
  • 8
  • 293
  • 398