\in \partial {\|\beta^\star\|}_\infty$ where $$\begin{aligned}
\partial {\|\beta^\star\|}_\infty
&= \bigl\{ g:~ \langle g, \beta^\star\rangle = {\|\beta^\star\|}_\infty,~ {\|g\|}_1\leq 1 \bigr\} \nonumber\\
&= \bigl\{ g:~ g_i = 0 \text{ if } {|\beta^\star_i|}<{\|\beta^\star\|}_\infty,~ 
{\|g\|}_1=1,~ g \circ \beta \geq 0 \bigr\}.\label{eq:subdiff-linf}\end{aligned}$$ This time, note that a vector with all equal values minimizes both the $\ell_2$ and the $\ell_\infty$ norm subject to $\ell_1$ constraints. Therefore, for $t = {|\{i\in[p]:~ {|\beta^\star_i|} = {\|\beta^\star\|}_\infty\}|}$, the optimal $g$ has $t$ nonzero entries with absolute values equal to $1/t$, which yields $$\begin{aligned}
\varphi^2(\beta^\star) 
\leq \frac{1}{t} + 1 + 2 \cdot\frac{1}{t} 
= 1 + \frac{3}{t} 
\leq 4\end{aligned}$$ and finishes the proof.

Consider and observe that ${{\operatorname{ext}}}({\mathcal{B}}^\star) = \{\pm e_i:~ i\in[p]\}$ where $e_i$ is the $i$-th standard basis vector. Define $S = \{i\in[p]:~ \beta^\star_i = {\|\beta^\star\|}_\infty \} $ and $t={|S|}$.

-   Case 1: For $i\not\in S$ and $z=\pm e_i$ we have ${{\operatorname{dist}}}^2(z, \partial {\|\beta^\star\|}_\infty) = \min_{g\in \partial {\|\beta^\star\|}_\infty} 1+{\|g\|}_2^2=1 + \frac{1}{t}$. If $S=[p]$, we ignore this case in the maximum over $z\in {{\operatorname{ext}}}({\mathcal{B}}^\star)$ in.

-   
\in \partial { \|\beta^\star\|}_\infty$ where $ $ \begin{aligned } 
 \partial { \|\beta^\star\|}_\infty 
 & = \bigl\ { g:~ \langle g, \beta^\star\rangle = { \|\beta^\star\|}_\infty,~ { \|g\|}_1\leq 1 \bigr\ } \nonumber\\ 
 & = \bigl\ { g:~ g_i = 0 \text { if } { |\beta^\star_i|}<{\|\beta^\star\|}_\infty,~ 
 { \|g\|}_1=1,~ g \circ \beta \geq 0 \bigr\}.\label{eq: subdiff - linf}\end{aligned}$$ This time, note that a vector with all equal values minimize both the $ \ell_2 $ and the $ \ell_\infty$ average subject to $ \ell_1 $ constraints. consequently, for $ t = { |\{i\in[p]:~ { |\beta^\star_i| } = { \|\beta^\star\|}_\infty\}|}$, the optimum $ g$ has   $ t$ nonzero entries with absolute value adequate to $ 1 / t$, which yields $ $ \begin{aligned } 
 \varphi^2(\beta^\star) 
 \leq \frac{1}{t } + 1 + 2 \cdot\frac{1}{t } 
 = 1 + \frac{3}{t } 
 \leq 4\end{aligned}$$ and finishes the proof. 

 Consider and observe that $ { { \operatorname{ext}}}({\mathcal{B}}^\star) = \{\pm e_i:~ i\in[p]\}$ where $ e_i$ is the $ i$-th standard footing vector. Define $ S = \{i\in[p]:~ \beta^\star_i = { \|\beta^\star\|}_\infty \ } $ and $ t={|S|}$. 

 -    Case 1: For $ i\not\in S$ and $ z=\pm e_i$ we have $ { { \operatorname{dist}}}^2(z, \partial { \|\beta^\star\|}_\infty) = \min_{g\in \partial { \|\beta^\star\|}_\infty } 1+{\|g\|}_2 ^ 2=1 + \frac{1}{t}$. If $ S=[p]$, we ignore this shell in the maximum over $ z\in { { \operatorname{ext}}}({\mathcal{B}}^\star)$ in. 

 -
\in \oartial {\|\beta^\star\|}_\infty$ whtre $$\begin{aligned}
\pcetial {\|\ueta^\stad\|}_\infty
&= \bkgl\{ g:~ \langle g, \beta^\star\ranglx = {\|\bwta^\stqr\|}_\infty,~ {\|g\|}_1\leq 1 \bigr\} \nonjmber\\
&= \bigp\{ g:~ g_i = 0 \texu{ if } {|\beta^\star_i|}<{\|\bevz^\star\|}_\inncy,~ 
{\|g\|}_1=1,~ f \cire \ueta \geq 0 \bigr\}.\lsbel{eq:subdhff-linf}\end{aligtea}$$ Chis time, note that a vector with alj equal vwlues minimizef bouh ehe $\sll_2$ and the $\ell_\infty$ norm subject fo $\ell_1$ bonstraints. Theregore, for $t = {|\{i\in[p]:~ {|\beta^\star_i|} = {\|\beha^\star\|}_\infty\}|}$, the ophimal $g$ has $j$ nogzero entries with absolute values gqual to $1/t$, which yields $$\begin{aliened}
\vcrphi^2(\beta^\stqr) 
\lee \frac{1}{t} + 1 + 2 \rdot\frwc{1}{t} 
= 1 + \frac{3}{t} 
\leq 4\end{dligned}$$ and finishes bhe pcoof.

Xonsider and observe vhat ${{\operatorname{ext}}}({\iathcal{B}}^\sdax) = \{\pm e_i:~ i\in[p]\}$ where $e_u$ us thg $i$-th staveara bzsms bector. Dehine $S = \{i\in[l]:~ \beta^\star_i = {\|\beta^\star\|}_\infty \} $ amd $n={|X|}$.

-   Case 1: Fod $i\not\yn S$ and $z=\pm e_i$ we have ${{\operatorname{dist}}}^2(z, \padtial {\|\beta^\star\|}_\infty) = \mib_{g\in \partial {\|\beta^\star\|}_\lnfty} 1+{\|g\|}_2^2=1 + \srac{1}{t}$. If $S=[p]$, we ignore this case in the maximum ovar $z\ii {{\upexqtornxne{fxt}}}({\mathcal{B}}^\star)$ in.

-   
\in \partial {\|\beta^\star\|}_\infty$ where $$\begin{aligned} \partial {\|\beta^\star\|}_\infty g:~ g, \beta^\star\rangle {\|\beta^\star\|}_\infty,~ {\|g\|}_1\leq 1 g_i 0 \text{ if {|\beta^\star_i|}<{\|\beta^\star\|}_\infty,~ {\|g\|}_1=1,~ g \beta \geq 0 \bigr\}.\label{eq:subdiff-linf}\end{aligned}$$ This time, that a vector with all equal values minimizes both the $\ell_2$ and the norm subject to $\ell_1$ constraints. Therefore, for $t = {|\{i\in[p]:~ {|\beta^\star_i|} = {\|\beta^\star\|}_\infty\}|}$, optimal has nonzero with absolute values equal to $1/t$, which yields $$\begin{aligned} \varphi^2(\beta^\star) \leq \frac{1}{t} + 1 + 2 = 1 + \frac{3}{t} \leq 4\end{aligned}$$ and finishes proof. Consider and observe ${{\operatorname{ext}}}({\mathcal{B}}^\star) = \{\pm e_i:~ i\in[p]\}$ $e_i$ the $i$-th basis Define = \{i\in[p]:~ \beta^\star_i {\|\beta^\star\|}_\infty \} $ and $t={|S|}$. - Case 1: For $i\not\in S$ and $z=\pm e_i$ we have ${{\operatorname{dist}}}^2(z, {\|\beta^\star\|}_\infty) = {\|\beta^\star\|}_\infty} 1+{\|g\|}_2^2=1 \frac{1}{t}$. $S=[p]$, ignore this case maximum over $z\in {{\operatorname{ext}}}({\mathcal{B}}^\star)$ in. -
\in \partial {\|\beta^\star\|}_\infty$ wheRe $$\begin{aliGned}
\pArtIal {\|\BeTa^\stAr\|}_\inFty
&= \bigl\{ g:~ \langle G, \Beta^\Star\rangle = {\|\beta^\star\|}_\inftY,~ {\|g\|}_1\leq 1 \BiGR\} \nonUMbEr\\
&= \bigL\{ g:~ g_i = 0 \texT{ If } {|\BETa^\sTaR_i|}<{\|\BetA^\sTAr\|}_\Infty,~ 
{\|G\|}_1=1,~ g \cIrc \beta \Geq 0 \bigr\}.\labEl{eQ:sUbdiff-linf}\enD{AlIgned}$$ This tIme, Note that a vecTor With alL eQuaL ValueS miNimizEs both THe $\ell_2$ aNd the $\ell_\iNfTY$ norm sUBject to $\ELL_1$ cOnstRaints. Therefore, foR $T = {|\{i\IN[p]:~ {|\beta^\star_i|} = {\|\betA^\star\|}_\iNfTY\}|}$, tHE OptImaL $g$ has $t$ nonzErO entrIEs with aBSoLUTE vaLUes equal to $1/t$, whIch yields $$\beGIn{aLigned}
\VaRphI^2(\Beta^\stAr) 
\leq \FrAC{1}{t} + 1 + 2 \cDot\frac{1}{t} 
= 1 + \fraC{3}{t} 
\leQ 4\end{alignEd}$$ and fINishes tHE proof.

COnsideR anD obServE ThAt ${{\OpeRaTOrnAMe{Ext}}}({\MAthCal{B}}^\star) = \{\Pm E_i:~ I\in[p]\}$ wHere $E_I$ IS The $i$-Th sTandArd baSis vector. DefiNe $S = \{I\in[p]:~ \BEta^\Star_i = {\|\Beta^\sTar\|}_\iNfTy \} $ and $T={|S|}$.

-   Case 1: for $i\nOt\In S$ and $z=\pm e_i$ we haVe ${{\opEratornamE{diSt}}}^2(Z, \paRtIal {\|\beTA^\star\|}_\iNftY) = \miN_{g\in \parTial {\|\betA^\StaR\|}_\iNFTY} 1+{\|g\|}_2^2=1 + \Frac{1}{t}$. If $S=[p]$, we ignore tHiS CAsE in the maXimum oVEr $Z\iN {{\OperatorNaMe{eXt}}}({\maTHCal{B}}^\sTar)$ iN.

-   
\in \partial {\|\beta^\sta r\|}_\inft y$ wh ere  $$ \b egin {ali gned}
\partial {\|\ beta^\star\|}_\infty
& = \bi gl \ { g: ~  \ langl e g, \b e ta ^ \ sta r\ ra ngl e=  { \|\be ta^ \star\| }_\infty,~  {\ |g \|}_1\leq 1\ bi gr\} \nonu mbe r\\
&= \bigl \{g:~ g_ i= 0 \text { i f } { |\beta ^ \star_ i|}<{\|\b et a ^\star \ |}_\inf t y ,~  
{\ |g\|}_1=1,~ g \ci r c\ beta \geq 0 \b igr\}. \l a be l { eq: sub diff-linf} \e nd{al i gned}$$ Th i s tim e , note that a  vector wit h  al l equa lval u es min imize sb oth  the $\ell_ 2$ a nd the $\ ell_\i n fty$ no r m subje ct to$\e ll_ 1$ c o ns tr ain ts .  Th e re for e , f or $t ={| \{ i\in[ p]:~ { | \ beta ^\s tar_ i|} =  {\|\beta^\st ar\ |}_\ i nft y\}|} $, th e op ti mal $ g$ has  $t$no nzero entries w ithabsoluteval ue s e qu al to $1/t$,  wh ich  yields  $$\beg i n{a li g n e d} 
\varphi^2(\beta^\ st a r )
\leq \f rac{1} { t}  + 1 + 2 \c do t\f rac{ 1 } {t} = 1+  \ frac{3}{ t} 
\l e q4\ end{ali gn ed}$$an d f ini shest he p roof.
Conside r and observe that $ { {\operatornam e {e x t }} } ({\m ath cal{B}}^\st ar)=  \{\ pm e _ i: ~ i \ in[p] \}$ w he r e$ e_i$ is the $i$-thst andard  basi s vector. Def ine $S = \ { i \ in[p]:~\bet a ^\ s tar_i = {\|\be ta^\s tar\|}_\in f ty \} $and $ t={|S|}$ .

-   Ca s e  1: For$i\ not \in  S$ a nd  $z=\pm e_i$w e  hav e${{\ope rat orname{ dis t}} }^2 (z,  \ partial { \|\beta^ \s ta r\ |} _\i nfty) = \min_{ g\ in\p art ial { \ |\beta ^\sta r\|} _\ in f ty}  1+{\|g \ |} _ 2 ^2=1  +  \ frac {1} {t }$. I f $S = [p] $, we i gnore thi s c a se i nth e maxim um over $z\in  { {\operator na me{ ext}}} ( { \mathcal {B}}^\star)$ in.

-   
\in \partial_{\|\beta^\star\|}_\infty$ where_$$\begin{aligned}
\partial {\|\beta^\star\|}_\infty
&= \bigl\{ g:~_\langle g,_\beta^\star\rangle_= {\|\beta^\star\|}_\infty,~_{\|g\|}_1\leq_1 \bigr\} \nonumber\\
&=_\bigl\{ g:~ g_i_= 0 \text{ if_} {|\beta^\star_i|}<{\|\beta^\star\|}_\infty,~ 
{\|g\|}_1=1,~_g_\circ \beta \geq 0 \bigr\}.\label{eq:subdiff-linf}\end{aligned}$$ This time, note that a vector with all equal_values_minimizes both_the_$\ell_2$_and the $\ell_\infty$ norm subject_to $\ell_1$ constraints. Therefore, for_$t =_{|\{i\in[p]:~ {|\beta^\star_i|} = {\|\beta^\star\|}_\infty\}|}$, the optimal $g$ has $t$_nonzero_entries with absolute_values equal to $1/t$, which yields $$\begin{aligned}
\varphi^2(\beta^\star) 
\leq \frac{1}{t}_+ 1 + 2 \cdot\frac{1}{t} 
=_1 + \frac{3}{t}_
\leq_4\end{aligned}$$_and finishes the proof.

Consider_and observe that ${{\operatorname{ext}}}({\mathcal{B}}^\star) = \{\pm_e_i:~ i\in[p]\}$ where $e_i$ is the_$i$-th standard basis vector. Define $S =_\{i\in[p]:~ \beta^\star_i = {\|\beta^\star\|}_\infty \} $_and $t={|S|}$.

-   Case_1: For_$i\not\in S$ and $z=\pm e_i$_we have ${{\operatorname{dist}}}^2(z,_\partial {\|\beta^\star\|}_\infty)_= \min_{g\in \partial_{\|\beta^\star\|}_\infty} 1+{\|g\|}_2^2=1 + \frac{1}{t}$. If $S=[p]$,_we ignore this_case in the maximum over $z\in_{{\operatorname{ext}}}({\mathcal{B}}^\star)$_in.

-  _