Is $n(n+1)$ ever a factorial? Brocard's problem asks if $(n-1)(n+1)$ is ever a factorial. My question is similar: is $n(n+1)$ ever a factorial?
This can be seen as the special case $k=2$ of the question: for $2\le k\le n-2,$ when is $n!/(n-k)!$ a factorial? I know of only one case, $10!/7!=6!$ (see A109095).
I have verified the absence of solutions for $n<10^{85}$ so their absence seems certain. Can this be proved? (Has it been?) I would also be interested in information on the general problem.
Edit: Having recently regained some interest in this problem, I verified it up to $m\le10^9$ or $n<10^{4282852761}$ using modular arithmetic to 37 large primes. (Each value of $m$ required 37 modular multiplications and an average of 2 Legendre symbols.)

Solving a quadratic for $ n $ and choosing a positive root, we get:
$ 2n=\sqrt {1+4k!}-1 $
So all we need to show is that the only cases in which $ 1+4k! $ is a perfect square are when $ k=2 $ and $ k=3 $.
P.S.: Sorry for my non-number-theory notation style.
