Question Number 181553 by Frix last updated on 26/Nov/22
$$\mathrm{Reposting}\:\mathrm{question}\:\mathrm{181462} \\ $$$$\underset{{n}\rightarrow\infty} {\mathrm{lim}}\:\frac{\sqrt[{{n}}]{\sqrt{\mathrm{2}!}×\sqrt[{\mathrm{3}}]{\mathrm{3}!}×\sqrt[{\mathrm{4}}]{\mathrm{4}!}×…×\sqrt[{{n}}]{{n}!}}}{\:\sqrt[{{n}+\mathrm{1}}]{\left(\mathrm{2}{n}+\mathrm{1}\right)!!}}\overset{?} {=}\frac{\mathrm{1}}{\mathrm{2e}} \\ $$
Answered by aleks041103 last updated on 26/Nov/22
$${b}_{{n}} =\frac{\sqrt[{{n}}]{\sqrt{\mathrm{2}!}×\sqrt[{\mathrm{3}}]{\mathrm{3}!}×\sqrt[{\mathrm{4}}]{\mathrm{4}!}×…×\sqrt[{{n}}]{{n}!}}}{\:\sqrt[{{n}+\mathrm{1}}]{\left(\mathrm{2}{n}+\mathrm{1}\right)!!}}=\sqrt[{{n}}]{\frac{\sqrt{\mathrm{2}!}×\sqrt[{\mathrm{3}}]{\mathrm{3}!}×\sqrt[{\mathrm{4}}]{\mathrm{4}!}×…×\sqrt[{{n}}]{{n}!}}{\left(\left(\mathrm{2}{n}+\mathrm{1}\right)!!\right)^{\frac{{n}}{{n}+\mathrm{1}}} }}=\sqrt[{{n}}]{{a}_{{n}} } \\ $$$${a}_{{n}} =\frac{\sqrt{\mathrm{2}!}×\sqrt[{\mathrm{3}}]{\mathrm{3}!}×\sqrt[{\mathrm{4}}]{\mathrm{4}!}×…×\sqrt[{{n}}]{{n}!}}{\left(\left(\mathrm{2}{n}+\mathrm{1}\right)!!\right)^{\frac{{n}}{{n}+\mathrm{1}}} } \\ $$$$\underset{{n}\rightarrow\infty} {{lim}}\sqrt[{{n}}]{{a}_{{n}} }=\underset{{n}\rightarrow\infty} {{lim}}\frac{{a}_{{n}+\mathrm{1}} }{{a}_{{n}} } \\ $$$$ \\ $$$$\frac{{a}_{{n}+\mathrm{1}} }{{a}_{{n}} }=\sqrt[{{n}+\mathrm{1}}]{\left({n}+\mathrm{1}\right)!}\frac{\left(\left(\mathrm{2}{n}+\mathrm{1}\right)!!\right)^{\frac{{n}}{{n}+\mathrm{1}}} }{\left(\left(\mathrm{2}{n}+\mathrm{3}\right)!!\right)^{\frac{{n}+\mathrm{1}}{{n}+\mathrm{2}}} } \\ $$$$\left(\mathrm{2}{n}+\mathrm{1}\right)!!=\frac{\left(\mathrm{2}{n}+\mathrm{1}\right)!}{\left(\mathrm{2}{n}\right)!!}=\frac{\left(\mathrm{2}{n}+\mathrm{1}\right)!}{\mathrm{2}^{{n}} {n}!} \\ $$$${stirling}\:{approx} \\ $$$${x}!\sim{x}^{{x}} {e}^{−{x}} \sqrt{\mathrm{2}\pi{x}}=\sqrt{\mathrm{2}\pi}\:{x}^{{x}+\mathrm{1}/\mathrm{2}} {e}^{−{x}} \\ $$$$\left(\left(\mathrm{2}{n}+\mathrm{1}\right)!!\right)^{\frac{{n}}{{n}+\mathrm{1}}} =\left(\frac{\left(\mathrm{2}{n}+\mathrm{1}\right)!}{\mathrm{2}^{{n}} {n}!}\right)^{\frac{{n}}{{n}+\mathrm{1}}} \sim\left(\frac{\left(\mathrm{2}{n}+\mathrm{1}\right)^{\mathrm{2}{n}+\mathrm{3}/\mathrm{2}} {e}^{−\mathrm{2}{n}−\mathrm{1}} }{\mathrm{2}^{{n}} {n}^{{n}+\mathrm{1}/\mathrm{2}} {e}^{−{n}} }\right)^{\frac{{n}}{{n}+\mathrm{1}}} = \\ $$$$={n}^{{n}} \left(\mathrm{1}+\frac{\mathrm{1}}{\mathrm{2}{n}}\right)^{\frac{{n}\left(\mathrm{2}{n}+\mathrm{3}/\mathrm{2}\right)}{\left({n}+\mathrm{1}\right)}} {e}^{−{n}} \mathrm{2}^{\frac{{n}\left(\mathrm{2}{n}+\mathrm{3}/\mathrm{2}\right)}{{n}+\mathrm{1}}−\frac{{n}^{\mathrm{2}} }{{n}+\mathrm{1}}} \\ $$$$\Rightarrow\left(\left(\mathrm{2}{n}+\mathrm{1}\right)!!\right)^{\frac{{n}}{{n}+\mathrm{1}}} \sim{e}^{−{n}} {n}^{{n}} \mathrm{2}^{\frac{{n}\left({n}+\mathrm{3}/\mathrm{2}\right)}{{n}+\mathrm{1}}} \left(\mathrm{1}+\frac{\mathrm{1}}{\mathrm{2}{n}}\right)^{\mathrm{2}{n}\frac{{n}+\mathrm{3}/\mathrm{4}}{{n}+\mathrm{1}}} \sim{e}^{\mathrm{1}−{n}} \left(\mathrm{2}{n}\right)^{{n}} \\ $$$$\Rightarrow\frac{{a}_{{n}+\mathrm{1}} }{{a}_{{n}} }=\sqrt[{{n}+\mathrm{1}}]{\left({n}+\mathrm{1}\right)!}\frac{\left(\left(\mathrm{2}{n}+\mathrm{1}\right)!!\right)^{\frac{{n}}{{n}+\mathrm{1}}} }{\left(\left(\mathrm{2}{n}+\mathrm{3}\right)!!\right)^{\frac{{n}+\mathrm{1}}{{n}+\mathrm{2}}} } \\ $$$$\sim\frac{{e}^{\mathrm{1}−{n}} \mathrm{2}^{{n}} {n}^{{n}} }{{e}^{−{n}} \mathrm{2}^{{n}+\mathrm{1}} \left({n}+\mathrm{1}\right)^{{n}+\mathrm{1}} }\left(\left({n}+\mathrm{1}\right)^{{n}+\mathrm{1}} {e}^{−{n}−\mathrm{1}} \sqrt{{n}}\right)^{\frac{\mathrm{1}}{{n}+\mathrm{1}}} = \\ $$$$=\frac{{e}}{\mathrm{2}\left({n}+\mathrm{1}\right)\left(\mathrm{1}+\frac{\mathrm{1}}{{n}}\right)^{{n}} }\left({n}+\mathrm{1}\right){e}^{−\mathrm{1}} =\frac{\mathrm{1}}{\mathrm{2}{e}} \\ $$$$\Rightarrow{Ans}.\:\frac{\mathrm{1}}{\mathrm{2}{e}} \\ $$$$ \\ $$
Commented by Frix last updated on 26/Nov/22
Answered by Frix last updated on 26/Nov/22
$$\mathrm{My}\:\mathrm{idea}: \\ $$$$\left(\mathrm{1}\right) \\ $$$$\sqrt[{{n}}]{{n}!}=\sqrt[{{n}}]{\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}{k}}<\frac{\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}{k}}{{n}}=\frac{{n}+\mathrm{1}}{\mathrm{2}}\:\Rightarrow \\ $$$$\frac{{n}+\mathrm{1}}{\mathrm{2}\sqrt[{{n}}]{{n}!}}={c}_{{n}} >\mathrm{1} \\ $$$$\underset{{n}\rightarrow\infty} {\mathrm{lim}}\:{c}_{{n}} \:=\underset{{n}\rightarrow\infty} {\mathrm{lim}}\:\frac{{n}+\mathrm{1}}{\mathrm{2}\frac{{n}}{\mathrm{e}}\sqrt[{\mathrm{2}{n}}]{\mathrm{2}\pi{n}}}\:=\frac{\mathrm{e}}{\mathrm{2}}\:\left[\mathrm{easy}\:\mathrm{to}\:\mathrm{see}\right] \\ $$$$\Rightarrow\:\sqrt[{{n}}]{{n}!}\sim\frac{{n}+\mathrm{1}}{\mathrm{e}}\:\mathrm{for}\:\mathrm{high}\:\mathrm{values}\:\mathrm{of}\:{n} \\ $$$$\Rightarrow\:\sqrt[{{n}}]{\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\sqrt[{{k}}]{{k}!}}\sim\sqrt[{{n}}]{\underset{{k}=\mathrm{1}} {\overset{{n}} {\prod}}\frac{{k}+\mathrm{1}}{\mathrm{e}}}=\sqrt[{{n}}]{\frac{\left({n}+\mathrm{1}\right){n}!}{\mathrm{e}^{{n}} }}= \\ $$$$=\frac{\sqrt[{{n}}]{{n}+\mathrm{1}}\sqrt[{{n}}]{{n}!}}{\mathrm{e}}=\frac{\sqrt[{{n}}]{{n}+\mathrm{1}}\left({n}+\mathrm{1}\right)}{\mathrm{e}^{\mathrm{2}} } \\ $$$$\left(\mathrm{2}\right) \\ $$$$\sqrt[{{n}+\mathrm{1}}]{\left(\mathrm{2}{n}+\mathrm{1}\right)!!}\sim\sqrt[{{n}}]{\left(\mathrm{2}{n}−\mathrm{1}\right)!!}=\sqrt[{{n}}]{\frac{\left(\mathrm{2}{n}\right)!}{\mathrm{2}^{{n}} {n}!}}= \\ $$$$=\frac{\sqrt[{{n}}]{\left(\mathrm{2}{n}\right)!}}{\mathrm{2}\sqrt[{{n}}]{{n}!}}=\frac{\mathrm{e}\:\sqrt[{{n}}]{\left(\mathrm{2}{n}!\right)}}{\mathrm{2}\left({n}+\mathrm{1}\right)}=\frac{\mathrm{2}{n}^{\mathrm{2}} \:\sqrt[{\mathrm{2}{n}}]{\mathrm{4}\pi{n}}}{\mathrm{e}\left({n}+\mathrm{1}\right)} \\ $$$$\mathrm{Now}\:\mathrm{we}\:\mathrm{have} \\ $$$$\underset{{n}\rightarrow\infty} {\mathrm{lim}}\:\frac{\sqrt[{{n}}]{\sqrt{\mathrm{2}!}×\sqrt[{\mathrm{3}}]{\mathrm{3}!}×\sqrt[{\mathrm{4}}]{\mathrm{4}!}×…×\sqrt[{{n}}]{{n}!}}}{\:\sqrt[{{n}+\mathrm{1}}]{\left(\mathrm{2}{n}+\mathrm{1}\right)!!}}= \\ $$$$=\underset{{n}\rightarrow\infty} {\mathrm{lim}}\:\frac{\sqrt[{{n}}]{{n}+\mathrm{1}}\left({n}+\mathrm{1}\right)^{\mathrm{2}} }{\mathrm{2e}{n}^{\mathrm{2}} \:\sqrt[{\mathrm{2}{n}}]{\mathrm{4}\pi{n}}}\:=\frac{\mathrm{1}}{\mathrm{2e}}\:\left[\mathrm{easy}\:\mathrm{to}\:\mathrm{see}\right] \\ $$$$\mathrm{Is}\:\mathrm{this}\:\mathrm{correct}? \\ $$