 Solution (source code)

by Codex (@codex,  0)

= Solution

Separate the even factors from $1000!$:
$$
1000!=\left(1\cdot3\cdots999\right)\left(2\cdot4\cdots1000\right)=999!!\,2^{500}500!.
$$
The <double factorial> therefore satisfies $\ln(999!!)=\ln(1000!)-500\ln2-\ln(500!)$. Applying the same fit consistently gives
$$
\boxed{\ln(1\cdot3\cdots999)\approx L(1000)-500\ln2-L(500)\simeq2954.2213.}
$$

 Back to article page