Question Number 9004 by mrW last updated on 12/Nov/16
$$\mathrm{prove} \\ $$$$\frac{\mathrm{1}}{\mathrm{2}}\centerdot\frac{\mathrm{3}}{\mathrm{4}}\centerdot\frac{\mathrm{5}}{\mathrm{6}}\centerdot\centerdot\centerdot\centerdot\centerdot\frac{\mathrm{2n}−\mathrm{1}}{\mathrm{2n}}\leqslant\frac{\mathrm{1}}{\:\sqrt{\mathrm{3n}+\mathrm{1}}} \\ $$
Answered by mrW last updated on 15/Nov/16
$$\mathrm{Using}\:\mathrm{mathematical}\:\mathrm{induction} \\ $$$$\mathrm{prove}\:{P}\left(\mathrm{n}\right)=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}} {\prod}}\frac{\mathrm{2k}−\mathrm{1}}{\mathrm{2k}}\leqslant\frac{\mathrm{1}}{\:\sqrt{\mathrm{3n}+\mathrm{1}}} \\ $$$$\mathrm{for}\:\mathrm{n}=\mathrm{1} \\ $$$${P}\left(\mathrm{1}\right)=\frac{\mathrm{1}}{\mathrm{2}}\overset{!} {\leqslant}\frac{\mathrm{1}}{\:\sqrt{\mathrm{3}\centerdot\mathrm{1}+\mathrm{1}}}=\frac{\mathrm{1}}{\:\sqrt{\mathrm{4}}}=\frac{\mathrm{1}}{\mathrm{2}} \\ $$$$\mathrm{it}'\mathrm{s}\:\mathrm{true}. \\ $$$$\mathrm{suppose}\:\mathrm{it}'\mathrm{s}\:\mathrm{true}\:\mathrm{for}\:\mathrm{n},\:\mathrm{i}.\mathrm{e}. \\ $$$${P}\left(\mathrm{n}\right)=\underset{\mathrm{k}=\mathrm{1}} {\overset{\mathrm{n}} {\prod}}\frac{\mathrm{2k}−\mathrm{1}}{\mathrm{2k}}\leqslant\frac{\mathrm{1}}{\:\sqrt{\mathrm{3n}+\mathrm{1}}} \\ $$$${P}\left(\mathrm{n}+\mathrm{1}\right)=\frac{\mathrm{2}\left(\mathrm{n}+\mathrm{1}\right)−\mathrm{1}}{\mathrm{2}\left(\mathrm{n}+\mathrm{1}\right)}{P}\left(\mathrm{n}\right) \\ $$$$=\frac{\mathrm{2n}+\mathrm{1}}{\mathrm{2n}+\mathrm{2}}{P}\left(\mathrm{n}\right)\leqslant\frac{\mathrm{2n}+\mathrm{1}}{\mathrm{2n}+\mathrm{2}}\centerdot\frac{\mathrm{1}}{\:\sqrt{\mathrm{3n}+\mathrm{1}}} \\ $$$$=\frac{\mathrm{2n}+\mathrm{1}}{\mathrm{2n}+\mathrm{2}}\centerdot\frac{\sqrt{\mathrm{3n}+\mathrm{4}}}{\:\sqrt{\mathrm{3n}+\mathrm{1}}}\centerdot\frac{\mathrm{1}}{\:\sqrt{\mathrm{3}\left(\mathrm{n}+\mathrm{1}\right)+\mathrm{1}}} \\ $$$$=\frac{\sqrt{\left(\mathrm{2n}+\mathrm{1}\right)^{\mathrm{2}} \centerdot\left(\mathrm{3n}+\mathrm{4}\right)}}{\:\sqrt{\left(\mathrm{2n}+\mathrm{2}\right)^{\mathrm{2}} \centerdot\left(\mathrm{3n}+\mathrm{1}\right)}}\centerdot\frac{\mathrm{1}}{\:\sqrt{\mathrm{3}\left(\mathrm{n}+\mathrm{1}\right)+\mathrm{1}}} \\ $$$$=\frac{\sqrt{\left(\mathrm{4n}^{\mathrm{2}} +\mathrm{4n}+\mathrm{1}\right)\centerdot\left(\mathrm{3n}+\mathrm{4}\right)}}{\:\sqrt{\left(\mathrm{4n}^{\mathrm{2}} +\mathrm{8n}+\mathrm{4}\right)\centerdot\left(\mathrm{3n}+\mathrm{1}\right)}}\centerdot\frac{\mathrm{1}}{\:\sqrt{\mathrm{3}\left(\mathrm{n}+\mathrm{1}\right)+\mathrm{1}}} \\ $$$$=\frac{\sqrt{\mathrm{12n}^{\mathrm{3}} +\mathrm{28n}^{\mathrm{2}} +\mathrm{19n}+\mathrm{4}}}{\:\sqrt{\mathrm{12n}^{\mathrm{3}} +\mathrm{28n}^{\mathrm{2}} +\mathrm{20n}+\mathrm{4}}}\centerdot\frac{\mathrm{1}}{\:\sqrt{\mathrm{3}\left(\mathrm{n}+\mathrm{1}\right)+\mathrm{1}}} \\ $$$$\leqslant\frac{\mathrm{1}}{\:\sqrt{\mathrm{3}\left(\mathrm{n}+\mathrm{1}\right)+\mathrm{1}}} \\ $$$$\mathrm{so}\:\mathrm{it}'\mathrm{s}\:\mathrm{true}\:\mathrm{for}\:\mathrm{all}\:\mathrm{n}\geqslant\mathrm{1} \\ $$