 \left( \sum_i \hat{s_i} \right).$$ This will follow if we can prove that, for positive real numbers $t_1, \dots, t_k$, $$\label{eqn:to_prove_about_phi_flipped}
t_1\dots t_k \Phi(t^{-1}_1, \dots, t^{-1}_k) {\leqslant}\frac{\sigma_k}{k}(t_1 + \dots + t_k).$$

To prove (\[eqn:to\_prove\_about\_phi\_flipped\]), first observe that equality holds in the case that all of the $t_i$ are equal. Indeed, when $t_i = 1$ the relation follows from the definition of $\sigma$, and for other constant values of $t_i$ the equality follows by homogeneity.

Set $\Theta(t_1, \dots, t_k) = t_1 \dots t_k \Phi(t^{-1}_1, \dots, t^{-1}_k)$. To prove that $\Theta(t_1, \dots, t_k)$ achieves its maximum value (with $t_1 + \dots + t_k$ fixed) when all of the $t_i$ are equal, observe that it will suffice to prove the following claim.

\[clm:make\_si\_equal\] If $t_1 + t_2$ is fixed (as well as each of $t_3, \dots, t_k$), then $\Theta(t_1, \dots, t_k)$ achieves its maximum when $t_1 = t_2$.

To see that this claim is sufficient, observe that we may repeatedly replace the largest and smallest of the $t_i$ with their average. In doing so, $\max t_i - \min t_i$ will tend to 0, and we can use the continuity of $\Theta$ to obtain the result.

To prove Claim \[clm:make\_si\_equal\], recall the expression for $\Theta(t_1, \dots, t_k)$: $$\begin{aligned}
\Theta(t_1, \dots, t_k) &= t_1t_2 (t_3\dots t_k) (I_{t^{-1}_1} \ast I_{t^{-1
\left (\sum_i \hat{s_i } \right).$$ This will follow if we can prove that, for positive real number $ t_1, \dots, t_k$, $ $ \label{eqn: to_prove_about_phi_flipped } 
 t_1\dots t_k \Phi(t^{-1}_1, \dots, t^{-1}_k) { \leqslant}\frac{\sigma_k}{k}(t_1 + \dots + t_k).$$ 

 To rise (\[eqn: to\_prove\_about\_phi\_flipped\ ]), first observe that equality holds in the lawsuit that all of the $ t_i$ are equal. Indeed, when $ t_i = 1 $ the relation surveil from the definition of $ \sigma$, and for other constant value of $ t_i$ the equality follows by homogeneity. 

 Set $ \Theta(t_1, \dots, t_k) = t_1 \dots t_k \Phi(t^{-1}_1, \dots, t^{-1}_k)$. To raise that $ \Theta(t_1, \dots, t_k)$ achieves its maximum value (with $ t_1 + \dots + t_k$ specify) when all of the $ t_i$ are equal, observe that it will suffice to prove the following claim. 

 \[clm: make\_si\_equal\ ] If $ t_1 + t_2 $ is fixed (equally well as each of $ t_3, \dots, t_k$), then $ \Theta(t_1, \dots, t_k)$ achieves its maximum when $ t_1 = t_2$. 

 To see that this call is sufficient, observe that we may repeatedly replace the big and smallest of the $ t_i$ with their average. In make so, $ \max t_i - \min t_i$ will tend to 0, and we can use the continuity of $ \Theta$ to obtain the result. 

 To prove Claim \[clm: make\_si\_equal\ ], echo the expression for $ \Theta(t_1, \dots, t_k)$: $ $ \begin{aligned } 
 \Theta(t_1, \dots, t_k) & = t_1t_2 (t_3\dots t_k) (I_{t^{-1}_1 } \ast I_{t^{-1
 \levt( \sum_i \hat{s_i} \right).$$ This will follow if we can prove that, fof positive real numbers $t_1, \dovs, t_j$, $$\labtj{eqn:to_prove_about_phk_flipped}
t_1\fots t_k \Phi(t^{-1}_1, \eots, t^{-1}_k) {\leqslant}\frac{\sigmz_n}{k}(t_1 + \vots + t_k).$$

To provg (\[eqn:to\_prove\_dbout\_phi\_flippeg\]), wixst observe that equality holds in tre case tjat all of the $t_i$ swe eslao. Indeed, when $t_i = 1$ the relatikn follmws from the cefinition of $\sigma$, and fog otjer constant valued of $t_i$ the equwoity follows by homogeneity.

Set $\Theja(t_1, \dots, t_k) = t_1 \dots t_k \Phi(t^{-1}_1, \dots, t^{-1}_k)$. Tp prove thqt $\Thfja(t_1, \dots, t_k)$ echievvs its maximum value (fith $t_1 + \dots + t_k$ fixec) wien qll of the $t_i$ are equel, observe that it wyll suffiwe to prove the folooqing wlaik.

\[clm:oqke\_ri\_esuel\] Jf $t_1 + h_2$ ia fixed (as well as eaxh of $t_3, \dots, t_k$), them $\Eyeta(t_1, \dots, t_k)$ achiedef its maximum when $t_1 = t_2$.

To see that this clzim is sufficient, obserce that we may repeatgdly replase the largest and smallest of the $t_i$ with their dveraje. In djkbg so, $\max t_i - \min t_i$ will tend to 0, and we can ufs uhe continuity of $\Theta$ to ontwim the result.

To prove Clzim \[clm:make\_si\_equal\], recall the wxpressiog fot $\Theta(t_1, \dots, t_k)$: $$\begin{alignwd}
\Theta(t_1, \dotf, t_k) &= t_1t_2 (t_3\dots t_k) (I_{c^{-1}_1} \ast I_{t^{-1
\left( \sum_i \hat{s_i} \right).$$ This will follow can that, for real numbers $t_1, \Phi(t^{-1}_1, t^{-1}_k) {\leqslant}\frac{\sigma_k}{k}(t_1 + + t_k).$$ To (\[eqn:to\_prove\_about\_phi\_flipped\]), first observe that equality holds the case that all of the $t_i$ are equal. Indeed, when $t_i = the relation follows from the definition of $\sigma$, and for other constant values $t_i$ equality by Set $\Theta(t_1, \dots, t_k) = t_1 \dots t_k \Phi(t^{-1}_1, \dots, t^{-1}_k)$. To prove that $\Theta(t_1, \dots, achieves its maximum value (with $t_1 + \dots t_k$ fixed) when all the $t_i$ are equal, observe it suffice to the claim. If $t_1 + is fixed (as well as each of $t_3, \dots, t_k$), then $\Theta(t_1, \dots, t_k)$ achieves its maximum $t_1 = see that claim sufficient, that we may the largest and smallest of the average. In doing so, $\max t_i - \min will tend 0, and we can use the of $\Theta$ to obtain the result. To prove \[clm:make\_si\_equal\], recall the expression for $\Theta(t_1, \dots, t_k)$: $$\begin{aligned} \Theta(t_1, \dots, t_k) &= t_1t_2 (t_3\dots \ast I_{t^{-1
 \left( \sum_i \hat{s_i} \right).$$ This wilL follow if wE can pRovE thAt, For pOsitIve real numbers $T_1, \Dots, T_k$, $$\label{eqn:to_prove_about_Phi_flIpPEd}
t_1\dOTs T_k \Phi(T^{-1}_1, \dots, t^{-1}_k) {\LEqSLAnt}\FrAc{\SigMa_K}{K}(t_1 + \Dots + t_K).$$

To Prove (\[eqN:to\_prove\_abOut\_PhI\_flipped\]), firsT ObServe that eQuaLity holds in tHe cAse thaT aLl oF The $t_i$ Are Equal. indeed, WHen $t_i = 1$ tHe relatioN fOLlows fROm the deFINiTion Of $\sigma$, and for otheR CoNStant values of $t_I$ the eqUaLItY FOllOws By homogeneItY.

Set $\THEta(t_1, \dotS, T_k) = T_1 \DOTs t_K \phi(t^{-1}_1, \dots, t^{-1}_k)$. To pRove that $\TheTA(t_1, \dOts, t_k)$ aChIevES its maXimum VaLUe (wIth $t_1 + \dots + t_k$ fIxed) When all of The $t_i$ aRE equal, oBServe thAt it wiLl sUffIce tO PrOvE thE fOLloWInG clAIm.

\[cLm:make\_si\_EqUaL\] If $t_1 + t_2$ Is fiXED (AS welL as Each Of $t_3, \doTs, t_k$), then $\Theta(T_1, \doTs, t_k)$ AChiEves iTs maxImum WhEn $t_1 = t_2$.

TO see thAt thiS cLaim is sufficienT, obsErve that wE maY rEpeAtEdly rEPlace tHe lArgEst and sMallest OF thE $t_I$ WITh Their average. In doinG sO, $\MAx T_i - \min t_i$ wIll tenD To 0, AnD We can use ThE coNtinUITy of $\THeta$ TO oBtain the Result.

tO pRoVe Claim \[ClM:make\_sI\_eQuaL\], reCall tHE expRessioN for $\ThetA(t_1, \dotS, T_k)$: $$\begin{aligned}
\tHeta(t_1, \dots, t_k) &= t_1t_2 (T_3\DoTS T_k) (i_{T^{-1}_1} \ast i_{t^{-1
 \left( \sum_i \hat{s_i} \ right).$$Thiswil l f ol lowif w e can prove th a t, f or positive real numbe rs $t _1 ,  \do t s,  t_k$ , $$\la b el { e qn: to _p rov e_ a bo ut_ph i_f lipped} 
t_1\dotst_k  \ Phi(t^{-1}_1 ,  \ dots, t^{- 1}_ k) {\leqslan t}\ frac{\ si gma _ k}{k} (t_ 1 + \ dots + t_k).$ $

To pro ve (\[eqn : to\_pro v e \_ abou t\_phi\_flipped\] ) ,f irst observe t hat eq ua l it y hol dsin the cas ethata ll of t h e$ t _ i$a re equal. Ind eed, when $ t _i= 1$ t he  re l ationfollo ws fro m the defin itio n of $\si gma$,a nd foro ther co nstant  va lue s of $t _i $ t he equ a li tyf oll ows by h om og eneit y.
S e t $\Th eta (t_1 , \do ts, t_k) = t_ 1 \ dots t_k  \Phi (t^{- 1}_1 ,\dots , t^{- 1}_k) $.  To prove that$\Th eta(t_1,\do ts , t _k )$ ac h ievesits  ma ximum v alue (w i th$t _ 1 +\dots + t_k$ fixed )w h en  all ofthe $t _ i$  a r e equal,  o bse rvet h at it  wil l  s uffice t o prov e  t he  follow in g clai m. 

\ [cl m:mak e \_si \_equa l\] If $ t_1 + t_2$ is fixed( as well as ea c ho f  $ t _3,\do ts, t_k$),then $\Th eta( t _1 , \ d ots,t_k)$  a c hi e ves its maximum whe n$t_1 =  t_2$ .

To see tha t this cla i m is suffi cien t ,o bserve that we  mayrepeatedly replacethe l argest a nd smalle s t  of the$t_ i$wit h t h e ir  average. Ind o ingso , $\max  t_ i - \mi n t _i$  wi llte nd to 0,and we c an  u se  t heconti n uity of$\ The ta $ t o obt a in the  resu lt.
T op rov e Claim \[ c l m:ma ke \_ si\_ equ al \], r ecal l  th e expre ssion for  $\ T heta (t _1 , \dots , t_k)$: $$\b eg in{aligned }\Th eta(t_ 1 ,  \dots,t_k) &= t_1t_2 (t_3\dot s  t_k) ( I_{ t^{-1 }_1}  \ast I_{ t^{ -1
 \left(_\sum_i \hat{s_i}_\right).$$ This will follow_if we_can_prove that,_for_positive real numbers_$t_1, \dots, t_k$,_$$\label{eqn:to_prove_about_phi_flipped}
t_1\dots t_k \Phi(t^{-1}_1, \dots,_t^{-1}_k) {\leqslant}\frac{\sigma_k}{k}(t_1 +_\dots_+ t_k).$$

To prove (\[eqn:to\_prove\_about\_phi\_flipped\]), first observe that equality holds in the case that all_of_the $t_i$_are_equal._Indeed, when $t_i = 1$_the relation follows from the_definition of_$\sigma$, and for other constant values of $t_i$_the_equality follows by_homogeneity.

Set $\Theta(t_1, \dots, t_k) = t_1 \dots t_k \Phi(t^{-1}_1,_\dots, t^{-1}_k)$. To prove that $\Theta(t_1,_\dots, t_k)$ achieves_its_maximum_value (with $t_1 +_\dots + t_k$ fixed) when all_of the $t_i$ are equal, observe_that it will suffice to prove the_following claim.

\[clm:make\_si\_equal\] If $t_1 + t_2$_is fixed (as well as_each of_$t_3, \dots, t_k$), then $\Theta(t_1,_\dots, t_k)$ achieves_its maximum_when $t_1 =_t_2$.

To see that this claim is_sufficient, observe that_we may repeatedly replace the largest_and_smallest of the_$t_i$_with_their average._In doing so,_$\max_t_i -_\min_t_i$ will tend to 0, and_we_can use the continuity of $\Theta$ to_obtain the result.

To prove_Claim_\[clm:make\_si\_equal\], recall the expression_for $\Theta(t_1, \dots, t_k)$: $$\begin{aligned}
\Theta(t_1,_\dots, t_k) &= t_1t_2 (t_3\dots t_k)_(I_{t^{-1}_1} \ast_I_{t^{-1