Question Number 184062 by CrispyXYZ last updated on 02/Jan/23 | ||
$$\mathrm{Prove}\:\mathrm{that} \\ $$ $$\underset{{i}=\mathrm{1}} {\overset{{n}} {\sum}}\:\frac{\mathrm{1}}{\:\sqrt{{i}^{\mathrm{2}} +{i}}}\:>\:\mathrm{ln}\left({n}+\mathrm{1}\right) \\ $$ | ||
Answered by mr W last updated on 02/Jan/23 | ||
$${things}\:{to}\:{know}: \\ $$ $$\left.\mathrm{1}\right) \\ $$ $$\frac{{a}+{b}}{\mathrm{2}}\geqslant\sqrt{{ab}} \\ $$ $$\frac{\mathrm{1}}{\:\sqrt{{ab}}}\geqslant\frac{\mathrm{2}}{{a}+{b}} \\ $$ $$\left.\mathrm{2}\right) \\ $$ $${f}\left({x}\right)=\mathrm{2}\left(\sqrt{{x}+\mathrm{1}}−\mathrm{1}\right)−\mathrm{ln}\:\left({x}+\mathrm{1}\right) \\ $$ $${f}\left(\mathrm{0}\right)=\mathrm{0} \\ $$ $${f}'\left({x}\right)=\frac{\mathrm{1}}{\:\sqrt{{x}+\mathrm{1}}}\left(\mathrm{1}−\frac{\mathrm{1}}{\:\sqrt{{x}+\mathrm{1}}}\right)>\mathrm{0} \\ $$ $${it}\:{means}\:{for}\:{x}\geqslant\mathrm{0}\:{f}\left({x}\right)\:{is}\:{strictly} \\ $$ $${increasing},{i}.{e}.\:{f}\left({x}\right)>\mathrm{0} \\ $$ $$\Rightarrow\mathrm{2}\left(\sqrt{{x}+\mathrm{1}}−\mathrm{1}\right)>\mathrm{ln}\:\left({x}+\mathrm{1}\right) \\ $$ $$ \\ $$ $$\underset{{i}=\mathrm{1}} {\overset{{n}} {\sum}}\frac{\mathrm{1}}{\:\sqrt{{i}^{\mathrm{2}} +{i}}} \\ $$ $$=\underset{{i}=\mathrm{1}} {\overset{{n}} {\sum}}\frac{\mathrm{1}}{\:\sqrt{{i}\left({i}+\mathrm{1}\right)}} \\ $$ $$\left.>\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\left(\frac{\mathrm{2}}{\:\sqrt{{i}}+\sqrt{{i}+\mathrm{1}}}\right)\:\:\:\:\:\:\:\:{see}\:\mathrm{1}\right)\:{above} \\ $$ $$=\mathrm{2}\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\left(\sqrt{{i}+\mathrm{1}}−\sqrt{{i}}\right) \\ $$ $$=\mathrm{2}\left(\sqrt{{n}+\mathrm{1}}−\mathrm{1}\right) \\ $$ $$\left.>\mathrm{ln}\:\left({n}+\mathrm{1}\right)\:\checkmark\:\:\:\:\:\:\:\:\:\:\:\:\:\:{see}\:\mathrm{2}\right)\:{above} \\ $$ | ||