Question Number 26359 by abdo imad last updated on 24/Dec/17
$${find}\:\:\:{lim}_{{n}−>\propto} \:\:\int_{\mathrm{0}} ^{{n}} \:\left(\mathrm{1}−\frac{{t}}{{n}}\right)^{{n}−\mathrm{1}} {dt}\:\:\:. \\ $$
Commented by abdo imad last updated on 25/Dec/17
$${let}\:{put}\:{I}_{{n}} \:\:=\:\int_{\mathrm{0}} ^{{n}} \:\:\left(\mathrm{1}−\frac{{t}}{{n}}\right)^{{n}−\mathrm{1}} {dt} \\ $$$${I}_{{n}} \:\:=\:\:\:\:\int_{\mathbb{R}} \:\:{f}_{{n}} \left({t}\right){dt}\:\:\:\:\:\:/\:\:\:{f}_{{n}} \left({t}\right)\:\:=\left(\mathrm{1}−\frac{{t}}{{n}}\:\right)^{{n}−\mathrm{1}} \chi_{\left.\left[\mathrm{0},{n}\right]\right]} \:\left({t}\right){dt} \\ $$$${due}\:{to}\:\:\:\:\left(\mathrm{1}−\frac{{t}}{{n}}\right)^{{n}−\mathrm{1}} =\:\:{e}^{\left({n}−\mathrm{1}\right){ln}\left(\mathrm{1}−\frac{{t}}{{n}}\right)} \:\:−−>_{{n}−>\propto} \:{e}^{−{t}} \\ $$$${f}_{{n}} \:\left({t}\right)\:{c}.{s}\:{to}\:{f}\left({t}\right)\:={e}^{−{t}\:\:} \:\:\:\:{plus}\:{that}\:\:\:/{f}_{{n}\left({t}\right)} \:\:/\leqslant\:{e}^{−{t}} \:\:\:\forall{n}\:\:{by}\:{convergence}\:{dominee} \\ $$$${lim}\:{I}_{{n}} \:\:=\:\:\int_{\mathbb{R}} \:_{{n}−>\propto} \:{lim}\:{f}_{{n}} \left({x}\right){dx}\:=\:\int_{\mathbb{R}} \:{e}^{−{t}} \:\chi_{\left[\left[\mathrm{0},\propto\left[\right.\right.\right.} \left({t}\right){dt} \\ $$$$=\:\int_{\mathrm{0}} ^{\infty} {e}^{−{t}} {dt}\:\:=\:\left[\:−\:{e}^{−{t}} \right]_{{t}=\mathrm{0}} ^{\propto} =\mathrm{1}. \\ $$$$ \\ $$
Commented by abdo imad last updated on 25/Dec/17
$${another}\:{method}\:{but}\:{easy}\:\:\:{let}\:{put}\:\frac{{t}}{{n}}={x} \\ $$$$\Rightarrow\:\:\:{I}_{{n}} \:\:=\:\int_{\mathrm{0}} ^{\mathrm{1}} \:\left(\mathrm{1}−{x}\right)^{{n}−\mathrm{1}\:} {ndx}\:=\:−\:\left[\left(\mathrm{1}−{x}\right)^{{n}} \right]_{\mathrm{0}} ^{\mathrm{1}} \:\:=\mathrm{1} \\ $$