8
$\begingroup$

Over here I discovered that Ramanujan gave the following factorial approximation, better than Stirling's formula:

$$n!\sim \sqrt{\pi}\left(\frac ne\right)^n\sqrt [6]{(2n)^3+(2n)^2+n+\frac 1{30}}$$

such that the error term decreases rapidly as $n\to \infty$. In other words, $$\lim_{n\to\infty}\cfrac{n!}{\sqrt{\pi}\left(\frac ne\right)^n\sqrt [6]{8n^3+4n^2+n+\frac 1{30}}}=1$$ Just to add, Stirling's formula is: $$n!\sim \sqrt{2\pi n}\left(\frac ne\right)^n$$ so somehow Ramanujan was able to turn $2n$ into $\sqrt [3]{8n^3+4n^2+n+\frac 1{30}}$. Notice that $2n=\sqrt [3]{8n^3}$ so the important expression is $4n^2+n+\frac 1{30}$.

Does anybody know how he got this result? Or is this another one of his mysterious results...

$\endgroup$
  • $\begingroup$ Ramanujan was a master of algebraic manipulation. You can compare this with the formula derived via Euler Maclaurin summation. $\endgroup$ – Paramanand Singh Apr 17 at 3:43
  • 1
    $\begingroup$ In particular compare $\dfrac{\sqrt[6]{(2n)^3+(2n)^2+n+1/30}}{\sqrt{2n}}$ with $\exp(J(n)) $ where $J(n) $ is given in this answer. $\endgroup$ – Paramanand Singh Apr 17 at 3:52
  • $\begingroup$ A better fraction would be $\frac 1{31}$ instead of $\frac 1{30}$. This fraction gives the greatest accuracy when $n=0$, given an integral denominator. $\endgroup$ – Mr Pie May 6 at 1:39
5
$\begingroup$

This is question I could have been asking for years. I wonder if the basis of this magnificent approximation has been published anywhere.

What I have seen (the problem is that I do not remember where) are approximations built as $$n!\sim \sqrt{\pi}\left(\frac ne\right)^n\sqrt [2k]{P_k(n)}$$ where remains the mystery of the $\sqrt [2k]{.}$. The first case I saw is Gosper approximation.

The coefficients of the polynomials were obtained taking the logarithms of both sides and identified with the Stirling series. So, what was obtained are $$P_1(n)=2n+12$$ $$P_2(n)=4n^2+12n+18$$ $$\color{red}{P_3(n)=8 n^3+4 n^2+n+\frac{1}{30}}$$ and for sure, with the tools we have today, we could continue for ever $$P_4(n)=16 n^4+\frac{32 n^3}{3}+\frac{32 n^2}{9}+\frac{176 n}{405}-\frac{128}{1215}$$ $$P_5(n)=32 n^5+\frac{80 n^4}{3}+\frac{100 n^3}{9}+\frac{178 n^2}{81}-\frac{95 n}{972}+\frac{2143}{40824}$$ $$P_6(n)=64 n^6+64 n^5+32 n^4+\frac{128 n^3}{15}+\frac{8 n^2}{15}+\frac{8 n}{105}+\frac{596}{1575}$$ for more and more accuracy.

For example, for $n=5$, the magic formula given by the great Ramanujan gives $120.000147066$ while the last given here leads to $120.000000406$.

There is one thing interesting to notice : up to $k=3$ the coefficients of powers of $n >0$ are all integer numbers.

Edit

Staying with the power $\frac 16$ from Ramanujan, we could extend it as $$P_3(n)=8 n^3+4 n^2+n+\frac{1}{30}\left(1+\sum_{i=1}^\infty \frac {a_i}{n^i}\right)$$ and the sequence of the first $a_i$'s is $$\left\{-\frac{11}{8},\frac{79}{112},\frac{3539}{6720},-\frac{9511}{13440},-\frac{30 153}{71680},\frac{233934691}{212889600},\frac{3595113569}{5960908800},\cdots\right\}$$

| cite | improve this answer | |
$\endgroup$
  • 1
    $\begingroup$ well explained and excellent answer $\endgroup$ – mathvision Apr 17 at 6:11
  • $\begingroup$ Perhaps we can include a function $f(n)$ within some $P_n$ so that $f$ is increasing in order to make up for $P_m$ given $m>n$. Lol, idk. It's a thought to entertain, but perhaps a bit too vague to actually apply. $\endgroup$ – Mr Pie Apr 17 at 6:13
  • $\begingroup$ +1 and perhaps Ramanujan also observed the same thing you wrote in last paragraph and therefore chose $k=3$ for his formula. $\endgroup$ – Paramanand Singh Apr 17 at 6:59
  • $\begingroup$ @ParamanandSingh very often his formulae are derived from general identities. See this question for example. However, he would list out only the most elegant special cases. If I recall correctly, he once wrote "if $a^3+b^3=c^3$, then $(a+b-c)^3=3(a+b)(c-a)(c-b)$" (not sure if the second equation is correct, just recalling from memory). From this, we can assume he didn't hear of Fermat's Last Theorem. And yet he entirely mastered diophantine power equations. $\endgroup$ – Mr Pie Apr 17 at 7:28
  • 1
    $\begingroup$ @MrPie: His real strength was almost extraordinary powers of algebraic manipulation and he was always sure that he did not need anything more than that. Unfortunately that attitude is now lost in the modern focus on abstractions. $\endgroup$ – Paramanand Singh Apr 17 at 8:20
2
$\begingroup$

The asymptotic expansion of the factorial may be written $$ n! \sim \left( {\frac{n}{e}} \right)^n \sqrt {2\pi n} \sum\limits_{k = 0}^\infty {( - 1)^k \frac{{\gamma _k }}{{n^k }}} , $$ where $\gamma_k$ denotes the Stirling coefficients (see, e.g., http://dx.doi.org/10.1017/S0308210513001558). The first three of them are $\gamma_0=1$, $\gamma_1=-\frac{1}{12}$ and $\gamma_2=\frac{1}{288}$. Now, if a function has an asymptotic expansion, then its 6th power also has one and it is the original expansion raised into the power of $6$. Accordingly, $$ \left( {n!/\left( {\frac{n}{e}} \right)^n \sqrt {2\pi n} } \right)^6 \sim \left( {\sum\limits_{k = 0}^\infty {( - 1)^k \frac{{\gamma _k }}{{n^k }}} } \right)^6 \sim 1 + \frac{1}{{2n}} + \frac{1}{{8n^2 }} + \frac{1}{{240n^3 }} - \frac{{11}}{{1920n^4 }} + \cdots , $$ and thus \begin{align*} n! & \sim \left( {\frac{n}{e}} \right)^n \sqrt {2\pi n} \sqrt[6]{{1 + \frac{1}{{2n}} + \frac{1}{{8n^2 }} + \frac{1}{{240n^3 }} - \frac{{11}}{{1920n^4 }} + \cdots }} \\ & = \left( {\frac{n}{e}} \right)^n \sqrt \pi \sqrt[6]{{8n^3 + 4n^2 + n + \frac{1}{{30}} - \frac{{11}}{{240n}} + \cdots }}\; . \end{align*} Therefore, Ramanujan's approximation is just a manipulation of the standard asymptotic expansion of the factorial. It is of course more accurate than the leading order asymptotics (known as Stirling's formula) since it uses additional terms from the asymptotic expansion. Let me add here that although the standard asymptotic expansion (and Ramanujan's as well) is divergent, for large $n$ the initial terms decrease in magnitude. There is a minimum occuring around $\left\lfloor {2\pi n} \right\rfloor$. Truncating the series at this point yields exponentially accurate approximations (see again the paper above for more details).

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.