Question Number 162305 by mathlove last updated on 28/Dec/21
$${proof}\:{that} \\ $$$$\mathrm{2}^{{n}+\mathrm{1}} >\left({n}+\mathrm{2}\right)\mathrm{sin}\:{n} \\ $$
Answered by aleks041103 last updated on 28/Dec/21
$${sin}\left({n}\right)\leqslant\mathrm{1} \\ $$$$\Rightarrow\left({n}+\mathrm{2}\right){sin}\left({n}\right)\leqslant{n}+\mathrm{2} \\ $$$${for}\:{n}=\mathrm{1}: \\ $$$$\mathrm{2}^{{n}+\mathrm{1}} =\mathrm{4}>\mathrm{3}={n}+\mathrm{2} \\ $$$${for}\:{n}={k}: \\ $$$$\mathrm{2}^{{k}+\mathrm{1}} >{k}+\mathrm{2} \\ $$$${for}\:{n}={k}+\mathrm{1}: \\ $$$$\mathrm{2}^{\left({k}+\mathrm{1}\right)+\mathrm{1}} =\mathrm{22}^{{k}+\mathrm{1}} >\mathrm{2}\left({k}+\mathrm{2}\right)=\mathrm{2}{k}+\mathrm{4} \\ $$$${k}\geqslant\mathrm{1}\Rightarrow\mathrm{2}{k}+\mathrm{4}\geqslant{k}+\mathrm{1}+\mathrm{4}={k}+\mathrm{5}>\left({k}+\mathrm{1}\right)+\mathrm{2} \\ $$$$\Rightarrow\mathrm{2}^{\left({k}+\mathrm{1}\right)+\mathrm{1}} >\left({k}+\mathrm{1}\right)+\mathrm{2} \\ $$$$\Rightarrow{for}\:\forall{n}\in\mathbb{N},\:\mathrm{2}^{{n}+\mathrm{1}} >{n}+\mathrm{2}\geqslant\left({n}+\mathrm{2}\right){sin}\left({n}\right) \\ $$$$\Rightarrow{n}=\mathrm{1},\mathrm{2},…\:,\:\mathrm{2}^{{n}+\mathrm{1}} >\left({n}+\mathrm{2}\right){sin}\left({n}\right) \\ $$$${for}\:{n}=\mathrm{0}: \\ $$$$\mathrm{2}^{{n}+\mathrm{1}} =\mathrm{2}>\mathrm{0}=\left({n}+\mathrm{2}\right){sin}\left({n}\right) \\ $$$$ \\ $$$$\Rightarrow\mathrm{2}^{{n}+\mathrm{1}} >\left({n}+\mathrm{2}\right){sin}\left({n}\right),\:\forall{n}\in\mathbb{N}^{\mathrm{0}} \\ $$
Answered by mr W last updated on 28/Dec/21
$${recall}: \\ $$$$\mathrm{1}\geqslant\mathrm{sin}\:{n}\:{for}\:{any}\:{n}\in\mathbb{R} \\ $$$$\left(\mathrm{1}+{a}\right)^{{n}} >\mathrm{1}+{na}\:{for}\:{a}>\mathrm{0} \\ $$$$ \\ $$$$\mathrm{2}^{{n}+\mathrm{1}} =\left(\mathrm{1}+\mathrm{1}\right)^{{n}+\mathrm{1}} \\ $$$$\:\:\:\:\:\:\:\:\:>\mathrm{1}+\left({n}+\mathrm{1}\right)×\mathrm{1}={n}+\mathrm{2}=\left({n}+\mathrm{2}\right)×\mathrm{1} \\ $$$$\:\:\:\:\:\:\:\:\:\geqslant\left({n}+\mathrm{2}\right)\:\mathrm{sin}\:{n} \\ $$$$\Rightarrow\:\mathrm{2}^{{n}+\mathrm{1}} >\left({n}+\mathrm{2}\right)\:\mathrm{sin}\:{n}\:\checkmark \\ $$
Commented by aleks041103 last updated on 28/Dec/21
$${It}\:{is}\:{worth}\:{noting}\:{that} \\ $$$$\left({n}+\mathrm{2}\right)\geqslant\left({n}+\mathrm{2}\right){sin}\left({n}\right) \\ $$$${is}\:{true}\:{for}\:{n}\geqslant−\mathrm{2} \\ $$
Commented by mr W last updated on 29/Dec/21
$${i}\:{assumed}\:{n}\in\mathbb{N}\:{what}\:{the}\:{questioner} \\ $$$${also}\:{meant},\:{i}\:{think}. \\ $$$${if}\:{n}\in\mathbb{Z},\:{then}\:\mathrm{2}^{{n}+\mathrm{1}} >\left({n}+\mathrm{2}\right)\:\mathrm{sin}\:{n}\:{is} \\ $$$${true}\:{for}\:{n}\geqslant−\mathrm{6}. \\ $$