Question Number 216710 by universe last updated on 16/Feb/25

$$\:\:\:\mathrm{let}\:{y}_{\mathrm{1}} \:,\:{y}_{\mathrm{2}} \:,\:{y}_{\mathrm{3}\:\:} …\:{y}_{{p}} \:\mathrm{be}\:\mathrm{fixed}\:\mathrm{positive}\:\mathrm{number} \\ $$$$\:\:\:\mathrm{consider}\:\mathrm{the}\:\mathrm{sequences} \\ $$$$\:{s}_{{n}} \:=\:\:\frac{{y}_{\mathrm{1}} ^{{n}} +{y}_{\mathrm{2}} ^{{n}} +{y}_{\mathrm{3}} ^{{n}} +…+{y}_{{p}} ^{{n}} }{{p}}\:\:\:{and}\:{x}_{{n}\:} =\:{s}_{{n}} ^{\mathrm{1}/{n}} \:\:,\:\:\:{n}\in\mathbb{N} \\ $$$$\:\:\:\mathrm{show}\:\mathrm{that}\:\left\{{x}_{{n}} \right\}\:\mathrm{is}\:\mathrm{monotonically}\:\mathrm{increasing} \\ $$
Answered by issac last updated on 16/Feb/25

$$\underset{{k}=\mathrm{1}} {\overset{{N}} {\sum}}\:\mid{A}_{{k}} {B}_{{k}} \mid\leq\left(\underset{{k}=\mathrm{1}} {\overset{{N}} {\sum}}\:\mid{A}_{{k}} \mid^{{m}} \right)^{\mathrm{1}/{m}} \left(\underset{{k}=\mathrm{1}} {\overset{{N}} {\sum}}\:\mid{B}_{{k}} \mid^{{n}} \right)^{\mathrm{1}/{n}} \\ $$$${s}_{{n}} =\frac{\mathrm{1}}{{p}}\underset{{k}=\mathrm{1}} {\overset{{p}} {\sum}}{y}_{{k}} ^{{n}} \\ $$$${x}_{{n}} ={s}_{{n}} ^{\frac{\mathrm{1}}{{n}}} =\frac{\mathrm{1}}{{p}^{\frac{\mathrm{1}}{{n}}} }\left(\underset{{k}=\mathrm{1}} {\overset{{p}} {\sum}}{y}_{{k}} ^{{n}} \right)^{\frac{\mathrm{1}}{{n}}} \\ $$$$\mathrm{and}\:\mathrm{Lets}\:\mathrm{fix}\:\mathrm{B}_{{k}} =\mathrm{1} \\ $$$$\left(\underset{\mathrm{k}=\mathrm{1}} {\overset{{p}} {\sum}}\:\mathrm{1}^{{q}} \right)^{\frac{\mathrm{1}}{{q}}} ={p}^{\frac{\mathrm{1}}{{q}}} \\ $$$$\underset{{k}=\mathrm{1}} {\overset{{p}} {\sum}}\:\mid{y}_{{k}} \mid\leq{p}^{\frac{\mathrm{1}}{{q}}−\frac{\mathrm{1}}{{n}}} {x}_{{n}} \\ $$$$\therefore\:{x}_{{n}} \:{decrease} \\ $$