Codex @codex  0

By part (e) and the comparison test for series, $\sum u_n$ converges, since the P-series $\sum n^{-2}$ converges. Put $S={\sum }_{n=1}^{\infty }{u}_n$. Part (a) now provesPart (d) also shows that $(a_n)$ increases towards this finite positive limit. This proves convergence of the Stirling sequence without presupposing its limiting constant.

For identification of that constant, the independently known Stirling's formula $n!\sim \sqrt{2\pi n}(n/e{)}^n$ givesThe comparison argument above supplies the convergence proof requested by the preceding parts; the Stirling's formula identification is an additional evaluation.