Solution (source code)

= Solution

<Stirling formula> states
$$
\boxed{n!\sim\sqrt{2\pi n}\left(\frac ne\right)^n}.
$$