Question and Answers Forum

All Questions      Topic List

Limits Questions

Previous in All Question      Next in All Question      

Previous in Limits      Next in Limits      

Question Number 25852 by abdo imad last updated on 15/Dec/17

let s put H_n  = 1 +2^(−1) +3^(−1) +....+n^(−1)  and   U_n = H_n  −ln(n)   prove that U_n  is convergent to a number  s wish verify  0<s<1   (s is named number of Euler )

$${let}\:{s}\:{put}\:{H}_{{n}} \:=\:\mathrm{1}\:+\mathrm{2}^{−\mathrm{1}} +\mathrm{3}^{−\mathrm{1}} +....+{n}^{−\mathrm{1}} \:{and}\:\:\:{U}_{{n}} =\:{H}_{{n}} \:−{ln}\left({n}\right) \\ $$ $$\:{prove}\:{that}\:{U}_{{n}} \:{is}\:{convergent}\:{to}\:{a}\:{number}\:\:{s}\:{wish}\:{verify} \\ $$ $$\mathrm{0}<{s}<\mathrm{1}\:\:\:\left({s}\:{is}\:{named}\:{number}\:{of}\:{Euler}\:\right) \\ $$

Commented bymoxhix last updated on 16/Dec/17

U_n =Σ_(k=1) ^n (1/k)−∫_1 ^n (1/x)dx      =Σ_(k=1) ^n (1/k)−Σ_(k=1) ^(n−1) ∫_k ^(k+1) (1/x)dx      =(1/n)+Σ_(k=1) ^(n−1) ((1/k)−∫_k ^(k+1) (1/x)dx)      =(1/n)+Σ_(k=1) ^(n−1) (∫_k ^(k+1) (1/k)−(1/x)dx)      >((1/1)−∫_1 ^2 (1/x)dx)      =1−ln(2)  ∴U_n >1−ln(2)  (∀n≥2)    U_n =Σ_(k=1) ^n (1/k)−∫_1 ^n (1/x)dx      =Σ_(k=1) ^n (1/k)−Σ_(k=2) ^n ∫_(k−1) ^k (1/x)dx      =1+Σ_(k=2) ^n ((1/k)−∫_(k−1) ^k (1/x)dx)      =1+Σ_(k=2) ^n (∫_(k−1) ^k (1/k)−(1/x)dx)      <1+∫_1 ^2 (1/2)−(1/x)dx       =(3/2)−ln(2)  ∴U_n <(3/2)−ln(2)  (∀n≥2)    U_(n+1) −U_n =(1/(n+1))−∫_n ^(n+1) (1/x)dx      =∫_n ^(n+1) (1/(n+1))−(1/x)dx      <0  ∴U_(n+1) <U_n     ↓  1−ln(2)<...<U_(n+1) <U_n <...<U_3 <U_2 <(3/2)−ln(2)  ∴∃s∈Rs.t. (s=lim_(n→∞) U_n   AND 0<1−ln(2)≤s≤(3/2)−ln(2)<1)

$${U}_{{n}} =\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\frac{\mathrm{1}}{{k}}−\int_{\mathrm{1}} ^{{n}} \frac{\mathrm{1}}{{x}}{dx} \\ $$ $$\:\:\:\:=\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\frac{\mathrm{1}}{{k}}−\underset{{k}=\mathrm{1}} {\overset{{n}−\mathrm{1}} {\sum}}\int_{{k}} ^{{k}+\mathrm{1}} \frac{\mathrm{1}}{{x}}{dx} \\ $$ $$\:\:\:\:=\frac{\mathrm{1}}{{n}}+\underset{{k}=\mathrm{1}} {\overset{{n}−\mathrm{1}} {\sum}}\left(\frac{\mathrm{1}}{{k}}−\int_{{k}} ^{{k}+\mathrm{1}} \frac{\mathrm{1}}{{x}}{dx}\right) \\ $$ $$\:\:\:\:=\frac{\mathrm{1}}{{n}}+\underset{{k}=\mathrm{1}} {\overset{{n}−\mathrm{1}} {\sum}}\left(\int_{{k}} ^{{k}+\mathrm{1}} \frac{\mathrm{1}}{{k}}−\frac{\mathrm{1}}{{x}}{dx}\right) \\ $$ $$\:\:\:\:>\left(\frac{\mathrm{1}}{\mathrm{1}}−\int_{\mathrm{1}} ^{\mathrm{2}} \frac{\mathrm{1}}{{x}}{dx}\right) \\ $$ $$\:\:\:\:=\mathrm{1}−{ln}\left(\mathrm{2}\right) \\ $$ $$\therefore{U}_{{n}} >\mathrm{1}−{ln}\left(\mathrm{2}\right)\:\:\left(\forall{n}\geqslant\mathrm{2}\right) \\ $$ $$ \\ $$ $${U}_{{n}} =\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\frac{\mathrm{1}}{{k}}−\int_{\mathrm{1}} ^{{n}} \frac{\mathrm{1}}{{x}}{dx} \\ $$ $$\:\:\:\:=\underset{{k}=\mathrm{1}} {\overset{{n}} {\sum}}\frac{\mathrm{1}}{{k}}−\underset{{k}=\mathrm{2}} {\overset{{n}} {\sum}}\int_{{k}−\mathrm{1}} ^{{k}} \frac{\mathrm{1}}{{x}}{dx} \\ $$ $$\:\:\:\:=\mathrm{1}+\underset{{k}=\mathrm{2}} {\overset{{n}} {\sum}}\left(\frac{\mathrm{1}}{{k}}−\int_{{k}−\mathrm{1}} ^{{k}} \frac{\mathrm{1}}{{x}}{dx}\right) \\ $$ $$\:\:\:\:=\mathrm{1}+\underset{{k}=\mathrm{2}} {\overset{{n}} {\sum}}\left(\int_{{k}−\mathrm{1}} ^{{k}} \frac{\mathrm{1}}{{k}}−\frac{\mathrm{1}}{{x}}{dx}\right) \\ $$ $$\:\:\:\:<\mathrm{1}+\int_{\mathrm{1}} ^{\mathrm{2}} \frac{\mathrm{1}}{\mathrm{2}}−\frac{\mathrm{1}}{{x}}{dx} \\ $$ $$\:\:\:\:\:=\frac{\mathrm{3}}{\mathrm{2}}−{ln}\left(\mathrm{2}\right) \\ $$ $$\therefore{U}_{{n}} <\frac{\mathrm{3}}{\mathrm{2}}−{ln}\left(\mathrm{2}\right)\:\:\left(\forall{n}\geqslant\mathrm{2}\right) \\ $$ $$ \\ $$ $${U}_{{n}+\mathrm{1}} −{U}_{{n}} =\frac{\mathrm{1}}{{n}+\mathrm{1}}−\int_{{n}} ^{{n}+\mathrm{1}} \frac{\mathrm{1}}{{x}}{dx} \\ $$ $$\:\:\:\:=\int_{{n}} ^{{n}+\mathrm{1}} \frac{\mathrm{1}}{{n}+\mathrm{1}}−\frac{\mathrm{1}}{{x}}{dx} \\ $$ $$\:\:\:\:<\mathrm{0} \\ $$ $$\therefore{U}_{{n}+\mathrm{1}} <{U}_{{n}} \\ $$ $$ \\ $$ $$\downarrow \\ $$ $$\mathrm{1}−{ln}\left(\mathrm{2}\right)<...<{U}_{{n}+\mathrm{1}} <{U}_{{n}} <...<{U}_{\mathrm{3}} <{U}_{\mathrm{2}} <\frac{\mathrm{3}}{\mathrm{2}}−{ln}\left(\mathrm{2}\right) \\ $$ $$\therefore\exists{s}\in\mathbb{R}{s}.{t}.\:\left({s}=\underset{{n}\rightarrow\infty} {{lim}U}_{{n}} \:\:{AND}\:\mathrm{0}<\mathrm{1}−{ln}\left(\mathrm{2}\right)\leqslant{s}\leqslant\frac{\mathrm{3}}{\mathrm{2}}−{ln}\left(\mathrm{2}\right)<\mathrm{1}\right) \\ $$

Terms of Service

Privacy Policy

Contact: info@tinkutara.com