In this post, I was curious if the divisor bound could be improved for the product of two consecutive even numbers. It seems most likely it cannot by much. How could the upper bound of $\sigma_0(x^2 - 1)$ be improved if we impose the condition that $$n! = x^2 - 1$$ for a positive integer $n$? This restricts the primes that divide $x^2 - 1$ to be below $n$. The bound found here would consider all the primes under a given number. Am I right in thinking that the bound could be reduced because of the reduction in potential prime factors?
Further, I noticed that all the primes between $\frac{n}{2}$ and $n$ would divide $x^2 - 1$ exactly once. This forces lower primes to have higher powers. Could that improve any potential bound even more? From stronger forms of Bertrand's Postulate, it should be possible to estimate the number of primes between those two numbers.