Question Number 196300 by hardmath last updated on 22/Aug/23
$$\mathrm{If}\:\rightarrow\:\mathrm{n}\:\in\:\mathbb{N}\:\:\:\:\:\mathrm{and}\:\:\:\:\:\mathrm{n}\:\geqslant\:\mathrm{2} \\ $$$$\mathrm{Then}\:\rightarrow\:\mathrm{tan}\:\left(\frac{\mathrm{1}}{\mathrm{n}\:−\:\mathrm{1}}\:\underset{\boldsymbol{\mathrm{k}}=\mathrm{2}} {\overset{\boldsymbol{\mathrm{n}}} {\sum}}\:\mathrm{arctan}\:\frac{\mathrm{1}}{\mathrm{k}}\right)\:<\:\frac{\mathrm{2}}{\mathrm{5}}\:+\:\frac{\boldsymbol{\gamma}}{\mathrm{n}\:−\:\mathrm{1}} \\ $$
Answered by sniper237 last updated on 22/Aug/23
$${n}=\mathrm{2}\Rightarrow\mathrm{0},\mathrm{5}={tan}\left({arctan}\left(\mathrm{1}/\mathrm{2}\right)\right)\overset{?} {<}\mathrm{2}/\mathrm{5}\:=\mathrm{0},\mathrm{4}\: \\ $$
Commented by hardmath last updated on 22/Aug/23
$$\mathrm{And}\:\:\:+\:\frac{\boldsymbol{\gamma}}{\mathrm{n}\:−\:\mathrm{2}} \\ $$
Answered by witcher3 last updated on 22/Aug/23
$$\mathrm{f}:\mathrm{x}\rightarrow\mathrm{tan}\:\left(\mathrm{x}\right)\:\:\mathrm{is}\:\mathrm{convex} \\ $$$$\mathrm{f}^{\left(\mathrm{2}\right)} \left(\mathrm{x}\right)=\mathrm{2}\left(\mathrm{1}+\mathrm{tg}^{\mathrm{2}} \left(\mathrm{x}\right)\right)\mathrm{tg}\left(\mathrm{x}\right),\forall\mathrm{x}\in\left[\mathrm{0},\frac{\pi}{\mathrm{2}}\left[\right.\right. \\ $$$$\Rightarrow\mathrm{S}=\mathrm{tan}\left(\frac{\mathrm{1}}{\mathrm{n}−\mathrm{1}}\underset{\mathrm{k}=\mathrm{2}} {\overset{\mathrm{n}} {\sum}}\mathrm{arctan}\left(\frac{\mathrm{1}}{\mathrm{k}}\right)\right)\leqslant\frac{\mathrm{1}}{\mathrm{n}−\mathrm{1}}\underset{\mathrm{k}=\mathrm{2}} {\overset{\mathrm{n}−\mathrm{1}} {\sum}}\mathrm{tan}\:\left(\mathrm{tan}^{−\mathrm{1}} \frac{\mathrm{1}}{\mathrm{k}}\right) \\ $$$$=\frac{\mathrm{1}}{\mathrm{n}−\mathrm{1}}\underset{\mathrm{2}} {\overset{\mathrm{n}} {\sum}}\frac{\mathrm{1}}{\mathrm{k}}=\frac{\mathrm{1}}{\mathrm{n}−\mathrm{1}}\left(\mathrm{H}_{\mathrm{n}−\mathrm{1}} −\mathrm{1}\right) \\ $$$$\Rightarrow\mathrm{S}\leqslant\frac{\mathrm{H}_{\mathrm{n}−\mathrm{1}} }{\mathrm{n}−\mathrm{1}}−\frac{\mathrm{1}}{\mathrm{n}−\mathrm{1}} \\ $$$$\mathrm{H}_{\mathrm{n}−\mathrm{1}} −\mathrm{ln}\left(\mathrm{n}\right)=\gamma+\frac{\mathrm{1}}{\mathrm{2}\left(\mathrm{n}−\mathrm{1}\right)^{\mathrm{2}} }−\epsilon_{\mathrm{n}} ,\epsilon_{\mathrm{n}} >\mathrm{0} \\ $$$$\mathrm{proof}\:\mathrm{usibg}\:\mathrm{H}_{\mathrm{n}} =\int_{\mathrm{0}} ^{\mathrm{1}} \frac{\mathrm{1}−\mathrm{x}^{\mathrm{n}} }{\mathrm{1}−\mathrm{x}}\mathrm{dx}…\mathrm{taylor}\:\mathrm{expension} \\ $$$$\mathrm{H}_{\mathrm{n}−\mathrm{1}} <\mathrm{ln}\left(\mathrm{n}\right)+\gamma+\frac{\mathrm{1}}{\mathrm{2}\left(\mathrm{n}−\mathrm{1}\right)}. \\ $$$$\mathrm{S}<\frac{\gamma}{\mathrm{n}−\mathrm{1}}+\frac{\mathrm{ln}\left(\mathrm{n}\right)−\mathrm{1}}{\mathrm{n}−\mathrm{1}}+\frac{\mathrm{1}}{\mathrm{2}\left(\mathrm{n}−\mathrm{1}\right)^{\mathrm{2}} } \\ $$$$\frac{\mathrm{ln}\left(\mathrm{n}\right)−\mathrm{1}}{\mathrm{n}−\mathrm{1}}+\frac{\mathrm{1}}{\mathrm{2}\left(\mathrm{n}−\mathrm{1}\right)^{\mathrm{2}} }<\frac{\mathrm{2}}{\mathrm{5}}…..\mathrm{E}\:\mathrm{if} \\ $$$$\mathrm{E}\:\mathrm{is}\:\mathrm{True}\:\mathrm{we}\:\mathrm{are}\:\mathrm{done}\:\mathrm{E}\Leftrightarrow \\ $$$$\mathrm{10}\left(\mathrm{n}−\mathrm{1}\right)\left(\mathrm{ln}\left(\mathrm{n}\right)−\mathrm{1}\right)+\mathrm{5}<\mathrm{4}\left(\mathrm{n}−\mathrm{1}\right)^{\mathrm{2}} \\ $$$$\mathrm{f}\left(\mathrm{x}\right)=\mathrm{10}\left(\mathrm{x}−\mathrm{1}\right)\left(\boldsymbol{\mathrm{ln}}\left(\boldsymbol{\mathrm{x}}\right)−\mathrm{1}\right)+\mathrm{5}−\mathrm{4}\left(\boldsymbol{\mathrm{x}}−\mathrm{1}\right)^{\mathrm{2}} \\ $$$$\boldsymbol{\mathrm{f}}'\left(\mathrm{x}\right)=\mathrm{10}\left(\mathrm{ln}\left(\mathrm{x}\right)−\mathrm{1}\right)+\frac{\mathrm{10}}{\mathrm{x}}\left(\mathrm{x}−\mathrm{1}\right)−\mathrm{8}\left(\mathrm{x}−\mathrm{1}\right),\mathrm{x}\geqslant\mathrm{2} \\ $$$$\mathrm{f}''\left(\mathrm{x}\right)=\frac{\mathrm{10}}{\mathrm{x}}+\frac{\mathrm{10}}{\mathrm{x}^{\mathrm{2}} }−\mathrm{8} \\ $$$$=\frac{\mathrm{10x}+\mathrm{10}−\mathrm{8x}^{\mathrm{2}} }{\mathrm{x}^{\mathrm{2}} }<\mathrm{0} \\ $$$$\mathrm{f}'\left(\mathrm{2}\right)=\mathrm{10}\left(\mathrm{ln}\left(\mathrm{2}\right)−\mathrm{1}\right)+\mathrm{5}−\mathrm{8}=\mathrm{10}\left(\mathrm{ln}\left(\mathrm{2}\right)−\mathrm{1}\right)−\mathrm{3} \\ $$$$\mathrm{f}'\left(\mathrm{2}\right)<\mathrm{0}… \\ $$$$\mathrm{ln}\left(\mathrm{2}\right)<\frac{\mathrm{3}}{\mathrm{10}}+\mathrm{1}..\mathrm{True}\Rightarrow\mathrm{f}'<\mathrm{0} \\ $$$$\Rightarrow\mathrm{f}\left(\mathrm{x}\right)\:\mathrm{is}\:\mathrm{decreasing} \\ $$$$\mathrm{f}\left(\mathrm{2}\right)=\mathrm{10}\left(\mathrm{ln}\left(\mathrm{2}\right)−\mathrm{1}\right)+\mathrm{1}<\mathrm{0}\Rightarrow\mathrm{ln}\left(\mathrm{2}\right)<\mathrm{1}−\frac{\mathrm{1}}{\mathrm{10}}.\mathrm{True} \\ $$$$\Rightarrow\mathrm{f}\left(\mathrm{x}\right)<\mathrm{f}\left(\mathrm{2}\right)<\mathrm{0}\Rightarrow\mathrm{E}\:\mathrm{True} \\ $$$$\mathrm{S}\leqslant\frac{\gamma}{\mathrm{n}−\mathrm{1}}+\frac{\mathrm{ln}\left(\mathrm{n}\right)−\mathrm{1}}{\mathrm{n}−\mathrm{1}}+\frac{\mathrm{1}}{\mathrm{2}\left(\mathrm{n}−\mathrm{1}\right)^{\mathrm{2}} }<\frac{\gamma}{\mathrm{n}−\mathrm{1}}+\frac{\mathrm{2}}{\mathrm{5}} \\ $$$$ \\ $$$$ \\ $$$$ \\ $$$$ \\ $$$$ \\ $$
Commented by hardmath last updated on 28/Aug/23
$$\mathrm{thanks}\:\mathrm{ser}\:\mathrm{very}\:\mathrm{nice} \\ $$