Question Number 151197 by KONE last updated on 18/Aug/21
$${etude}\:{de}\:{la}\:{monotonie}?\:{svp} \\ $$$${u}_{{n}} =\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\frac{\mathrm{1}}{{k}}−{ln}\left({n}\right) \\ $$
Answered by mathmax by abdo last updated on 19/Aug/21
$$\left.\mathrm{f}\left(\mathrm{x}\right)=\mathrm{logx}\:\:\:\:\:\:\exists\mathrm{c}\:\in\right]\mathrm{n},\mathrm{n}+\mathrm{1}\left[\:\:/\mathrm{log}\left(\mathrm{n}+\mathrm{1}\right)−\mathrm{logn}=\frac{\mathrm{1}}{\mathrm{c}}\right. \\ $$$$\mathrm{n}<\mathrm{c}<\mathrm{n}+\mathrm{1}\:\Rightarrow\frac{\mathrm{1}}{\mathrm{n}+\mathrm{1}}<\frac{\mathrm{1}}{\mathrm{c}}<\frac{\mathrm{1}}{\mathrm{n}}\:\Rightarrow\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\frac{\mathrm{1}}{\mathrm{k}+\mathrm{1}}<\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\mathrm{log}\left(\mathrm{k}+\mathrm{1}\right)−\mathrm{logk}<\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\frac{\mathrm{1}}{\mathrm{k}} \\ $$$$\Rightarrow\sum_{\mathrm{k}=\mathrm{2}} ^{\mathrm{n}+\mathrm{1}} \:\frac{\mathrm{1}}{\mathrm{k}}<\mathrm{log}\left(\mathrm{n}+\mathrm{1}\right)<\mathrm{H}_{\mathrm{n}} \:\Rightarrow\mathrm{H}_{\mathrm{n}} −\mathrm{1}+\frac{\mathrm{1}}{\mathrm{n}+\mathrm{1}}<\mathrm{log}\left(\mathrm{n}+\mathrm{1}\right)<\mathrm{H}_{\mathrm{n}} \\ $$$$\Rightarrow\frac{\mathrm{1}}{\mathrm{n}+\mathrm{1}}−\mathrm{1}<\mathrm{log}\left(\mathrm{n}+\mathrm{1}\right)−\mathrm{H}_{\mathrm{n}} <\mathrm{0}\:\Rightarrow\mathrm{0}<\mathrm{H}_{\mathrm{n}} −\mathrm{log}\left(\mathrm{n}+\mathrm{1}\right)<\mathrm{1}−\frac{\mathrm{1}}{\mathrm{n}+\mathrm{1}} \\ $$$$\Rightarrow\mathrm{0}<\mathrm{H}_{\mathrm{n}} −\mathrm{log}\left(\mathrm{n}\right)−\mathrm{log}\left(\mathrm{1}+\frac{\mathrm{1}}{\mathrm{n}}\right)<\frac{\mathrm{n}}{\mathrm{n}+\mathrm{1}}\:\Rightarrow \\ $$$$\mathrm{log}\left(\mathrm{1}+\frac{\mathrm{1}}{\mathrm{n}}\right)<\mathrm{H}_{\mathrm{n}} −\mathrm{logn}<\frac{\mathrm{n}}{\mathrm{n}+\mathrm{1}}−\mathrm{log}\left(\mathrm{1}+\frac{\mathrm{1}}{\mathrm{n}}\right)\:\:\mathrm{on}\:\mathrm{passe}\:\mathrm{a}\:\mathrm{la}\:\mathrm{limite} \\ $$$$\mathrm{on}\:\mathrm{obtient}\:\:\mathrm{o}\leqslant\mathrm{lim}\left(\mathrm{H}_{\mathrm{n}} −\mathrm{logn}\right)\leqslant\mathrm{1} \\ $$$$\mathrm{rest}\:\mathrm{de}\:\mathrm{montere}\:\mathrm{que}\:\mathrm{u}_{\mathrm{n}} \:\mathrm{est}\:\mathrm{monotone}? \\ $$$$\mathrm{u}_{\mathrm{n}+\mathrm{1}} −\mathrm{u}_{\mathrm{n}} =\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}+\mathrm{1}} \:\frac{\mathrm{1}}{\mathrm{k}}−\mathrm{ln}\left(\mathrm{n}+\mathrm{1}\right)−\sum_{\mathrm{k}=\mathrm{1}} ^{\mathrm{n}} \:\frac{\mathrm{1}}{\mathrm{k}}+\mathrm{ln}\left(\mathrm{n}\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{n}+\mathrm{1}}+\mathrm{ln}\left(\frac{\mathrm{n}}{\mathrm{n}+\mathrm{1}}\right)=\frac{\mathrm{1}}{\mathrm{n}+\mathrm{1}}+\mathrm{ln}\left(\mathrm{1}−\frac{\mathrm{1}}{\mathrm{n}+\mathrm{1}}\right) \\ $$$$\mathrm{let}\:\Phi\left(\mathrm{x}\right)=\frac{\mathrm{1}}{\mathrm{x}}+\mathrm{ln}\left(\mathrm{1}−\frac{\mathrm{1}}{\mathrm{x}}\right)\:\:\:\mathrm{x}>\mathrm{1} \\ $$$$\mathrm{lim}_{\mathrm{x}\rightarrow\mathrm{1}^{+} } \:\:\Phi\left(\mathrm{x}\right)=−\infty \\ $$$$\mathrm{lim}_{\mathrm{x}\rightarrow+\infty} =\mathrm{0}\:\:\:\:\:\:\mathrm{et}\:\Phi^{'} \left(\mathrm{x}\right)=−\frac{\mathrm{1}}{\mathrm{x}^{\mathrm{2}} }+\frac{\mathrm{1}}{\mathrm{x}^{\mathrm{2}} \left(\mathrm{1}−\frac{\mathrm{1}}{\mathrm{x}}\right)} \\ $$$$=\frac{\mathrm{1}}{\mathrm{x}^{\mathrm{2}} }\left(\frac{\mathrm{1}}{\mathrm{1}−\frac{\mathrm{1}}{\mathrm{x}}}−\mathrm{1}\right)=\frac{\mathrm{1}}{\mathrm{x}^{\mathrm{2}} }\left(\frac{\mathrm{x}}{\mathrm{x}−\mathrm{1}}−\mathrm{1}\right)\:=\frac{\mathrm{1}}{\mathrm{x}^{\mathrm{2}} }\left(\frac{\mathrm{1}}{\mathrm{x}−\mathrm{1}}\right)>\mathrm{0} \\ $$$$\left.\Rightarrow\Phi\left(\mathrm{x}\right)<\mathrm{0}\:\mathrm{sur}\right]\mathrm{1},+\infty\left[\:\Rightarrow\mathrm{u}_{\mathrm{n}+\mathrm{1}} −\mathrm{u}_{\mathrm{n}} <\mathrm{0}\:\Rightarrow\mathrm{u}_{\mathrm{n}} \right)\mathrm{est}\:\mathrm{decroissante} \\ $$$$\mathrm{lim}_{\mathrm{n}\rightarrow+\infty} =\gamma\:\:\mathrm{et}\:\mathrm{on}\:\mathrm{prouve}\:\mathrm{que}\:\mathrm{0}\leqslant\gamma\leqslant\mathrm{1} \\ $$