rt。

目前进展：找到求出原式的等价命题，不超过 $O(\sqrt{n}\log^2 n)$ 求出 $\prod_{i=0}^{n-1} i!.$

因此您不需要管原帖，只需要解决本帖提出的问题即可，十分感谢！