sum log10(\sqrt{2*\Pi*n}\frac{n}{e}^n), n=1 to 1000