 \neq 0$. Then the regret of [<span style="font-variant:small-caps;">Squint+L</span>]{} in round one is bounded by $B_1 \leq B_T$, and [<span style="font-variant:small-caps;">Squint+C</span>]{} is started for the first time in round $t=2$ with input $B=B_1$.

Now suppose first that the restart condition in line \[line:runmetagrad\] of Algorithm \[bb1alg\] is never triggered, which means that $\frac{B_t}{B_1}\leq \sum_{s=1}^t
\frac{b_s}{B_s}$ for all rounds $t=2,\ldots,T$. Then for any comparator distribution $\rho \in \triangle_K$, the result follows from Lemma \[lem:small.is.good\] and the fact that $V^{\rho}_{(1:T]} \leq  V_T^{\rho}$ and the fact that $\Gamma^{\rho}_{(1:T]}  \leq  \Gamma_T^{\rho}$.

Alternatively, suppose there is at least one restart. Then let $1 \leq
\tau_1 < \tau_2< T$ be such that $(\tau_1,\tau_2]$ and $(\tau_2,T]$ are the two intervals over which the last two runs of [<span style="font-variant:small-caps;">Squint+C</span>]{} occurred. We invoke Theorem \[lem:small.is.good\] separately for both these intervals to bound $$\begin{aligned}
  R_{(\tau_1,T]}^{\rho}
    &\leq
      \sqrt{2    V_{(\tau_1,\tau_2]}^\rho} \del*{
      1+
      \sqrt{2 \Gamma_{(\tau_1,\tau_2]}^{\rho}}
    }
    +
    5 B_{\tau_2}
    \del*{\Gamma_{(\tau_1,\tau_2]}^{\rho}+ \ln 2} +B_{\tau_2}. \nonumber\\
     &\quad+ \sqrt{2    V_{(\tau_2,T]}^\rho} \del*{
      1+
      \sqrt{2 \Gamma_{(\tau_2,T]}^{\rho}}
    }

\neq 0$. Then the regret of [ < span style="font - variant: small - caps;">Squint+L</span > ] { } in round one is restrict by $ B_1 \leq B_T$, and [ < straddle style="font - variant: small - caps;">Squint+C</span > ] { } is started for the first fourth dimension in round $ t=2 $ with input $ B = B_1$. 

 immediately presuppose first that the restart circumstance in credit line   \[line: runmetagrad\ ] of Algorithm   \[bb1alg\ ] is never triggered, which intend that $ \frac{B_t}{B_1}\leq \sum_{s=1}^t 
 \frac{b_s}{B_s}$ for all rounds $ t=2,\ldots, T$. Then for any comparator distribution $ \rho \in \triangle_K$, the result follow from Lemma   \[lem: small.is.good\ ] and the fact that $ V^{\rho}_{(1: T ] } \leq   V_T^{\rho}$ and the fact that $ \Gamma^{\rho}_{(1: T ] }   \leq   \Gamma_T^{\rho}$. 

 Alternatively, suppose there is at least one restart. Then let $ 1 \leq 
 \tau_1 < \tau_2 < T$ be such that $ (\tau_1,\tau_2]$ and $ (\tau_2,T]$ are the two intervals over which the last two run of [ < span style="font - variant: small - caps;">Squint+C</span > ] { } occurred. We appeal Theorem   \[lem: small.is.good\ ] separately for both these intervals to bound $ $ \begin{aligned } 
   R_{(\tau_1,T]}^{\rho } 
     & \leq 
       \sqrt{2     V_{(\tau_1,\tau_2]}^\rho } \del * { 
       1 + 
       \sqrt{2 \Gamma_{(\tau_1,\tau_2]}^{\rho } } 
     } 
     + 
     5 B_{\tau_2 } 
     \del*{\Gamma_{(\tau_1,\tau_2]}^{\rho}+ \ln 2 } + B_{\tau_2 }. \nonumber\\ 
      & \quad+ \sqrt{2     V_{(\tau_2,T]}^\rho } \del * { 
       1 + 
       \sqrt{2 \Gamma_{(\tau_2,T]}^{\rho } } 
     }
 \nee 0$. Then the regret of [<spxn style="font-varnqnt:smanl-caps;">Aquint+L</soan>]{} in round one is bounded uy $B_1 \leq V_T$, and [<span style="font-vxriant:smapl-caps;">Sqyint+R</span>]{} is started for the first bime nn round $t=2$ with lnput $B=B_1$.

Now suppose first tfac the restart condition in line \[line:rtnmetagtaf\] of Algorithm \[fb1alb\] is hvvtr triggered, which means that $\frad{B_t}{B_1}\leq \sum_{s=1}^t
\frac{b_s}{B_x}$ for all rounds $t=2,\ldots,T$. Tjen vor any comparator distributiin $\rri \in \triangld_K$, the reslnt follows from Lemma \[lem:small.is.good\] and tfe faet that $V^{\rhi}_{(1:T]} \lee  V_T^{\rho}$ and the sact that $\Gamma^{\rho}_{(1:T]}  \leq  \Gsmma_T^{\rho}$.

Alternstitely, suppose there is at neast one restart. Jhen let $1 \nes
\tau_1 < \tau_2< T$ be suxh that $(\tau_1,\dau_2]$ xbd $(\gau_2,U]$ ace fhe twl iitervals ovsr which thw last two runs of [<xpwb style="font-vadiant:siajl-caps;">Squint+C</span>]{} occurred. We invoke Thtorem \[mem:small.is.good\] separateoy for both these intgrvals to found $$\begin{aligned}
  R_{(\tau_1,T]}^{\rho}
    &\leq
      \sqrt{2    E_{(\tau_1,\teu_2]}^\fho} \dcl*{
      1+
      \sqrt{2 \Gamma_{(\tau_1,\tau_2]}^{\rho}}
    }
    +
    5 B_{\tau_2}
    \dtl*{\Gsmma_{(\tau_1,\tau_2]}^{\rho}+ \jn 2} +B_{\tau_2}. \nomulbrt\\
     &\quad+ \sqrj{2    V_{(\tch_2,T]}^\dho} \del*{
      1+
      \sqrt{2 \Gwmma_{(\tqu_2,T]}^{\rho}}
    }

\neq 0$. Then the regret of [<span round is bounded $B_1 \leq B_T$, for first time in $t=2$ with input Now suppose first that the restart in line \[line:runmetagrad\] of Algorithm \[bb1alg\] is never triggered, which means that $\frac{B_t}{B_1}\leq \frac{b_s}{B_s}$ for all rounds $t=2,\ldots,T$. Then for any comparator distribution $\rho \in \triangle_K$, result from \[lem:small.is.good\] the fact that $V^{\rho}_{(1:T]} \leq V_T^{\rho}$ and the fact that $\Gamma^{\rho}_{(1:T]} \leq \Gamma_T^{\rho}$. Alternatively, suppose there at least one restart. Then let $1 \leq < \tau_2< T$ be that $(\tau_1,\tau_2]$ and $(\tau_2,T]$ are two over which last runs [<span style="font-variant:small-caps;">Squint+C</span>]{} occurred. invoke Theorem \[lem:small.is.good\] separately for both these intervals to bound $$\begin{aligned} R_{(\tau_1,T]}^{\rho} &\leq \sqrt{2 V_{(\tau_1,\tau_2]}^\rho} \del*{ 1+ \Gamma_{(\tau_1,\tau_2]}^{\rho}} } B_{\tau_2} \del*{\Gamma_{(\tau_1,\tau_2]}^{\rho}+ 2} \nonumber\\ \sqrt{2 V_{(\tau_2,T]}^\rho} \del*{ \Gamma_{(\tau_2,T]}^{\rho}} }
 \neq 0$. Then the regret of [<span styLe="font-variAnt:smAll-CapS;">SQuinT+L</spAn>]{} in round one is BOundEd by $B_1 \leq B_T$, and [<span style="Font-vArIAnt:sMAlL-caps;">squint+C</SPaN>]{} IS stArTeD foR tHE fIrst tIme In round $T=2$ with input $b=B_1$.

NOw Suppose first THaT the restarT coNdition in linE \[liNe:runmEtAgrAD\] of AlGorIthm \[bB1alg\] is NEver trIggered, whIcH Means tHAt $\frac{B_T}{b_1}\LeQ \sum_{S=1}^t
\frac{b_s}{B_s}$ for all rOUnDS $t=2,\ldots,T$. Then foR any coMpARaTOR diStrIbution $\rho \In \TrianGLe_K$, the rESuLT FOllOWs from Lemma \[leM:small.is.gooD\] And The facT tHat $v^{\Rho}_{(1:T]} \leQ  V_T^{\rhO}$ aND thE fact that $\GaMma^{\rHo}_{(1:T]}  \leq  \GamMa_T^{\rho}$.

aLternatIVely, supPose thEre Is aT leaST oNe ResTaRT. ThEN lEt $1 \lEQ
\taU_1 < \tau_2< T$ be sUcH tHat $(\taU_1,\tau_2]$ AND $(\TAu_2,T]$ aRe tHe twO inteRvals over whicH thE lasT Two Runs oF [<span StylE="fOnt-vaRiant:sMall-cApS;">Squint+C</span>]{} occUrreD. We invoke theOrEm \[lEm:Small.IS.good\] sEpaRatEly for bOth thesE IntErVALS tO bound $$\begin{aligned}
  r_{(\tAU_1,t]}^{\rHo}
    &\leq
      \sqrT{2    V_{(\tau_1,\tAU_2]}^\rHo} \DEl*{
      1+
      \sqrt{2 \GaMmA_{(\taU_1,\tau_2]}^{\RHO}}
    }
    +
    5 B_{\tau_2}
    \Del*{\GAMmA_{(\tau_1,\tau_2]}^{\rHo}+ \ln 2} +B_{\tAU_2}. \nOnUmber\\
     &\quAd+ \Sqrt{2    V_{(\tAu_2,t]}^\rhO} \deL*{
      1+
      \sqrt{2 \gAmma_{(\Tau_2,T]}^{\rhO}}
    }

 \neq 0$. Then the regretof [<spanstyle ="f ont -v aria nt:s mall-caps;">Sq u int+ L</span>]{} in round o ne is  b o unde d  b y $B_ 1 \leqB _T $ ,  an d[< spa ns ty le="f ont -varian t:small-ca ps; "> Squint+C</sp a n> ]{} is sta rte d for the fi rst  timein  ro u nd $t =2$  with  input $B=B_1 $.

Now s up p ose fi r st that t he  res tart condition in li n e \[line:runme tagrad \] of A lgo rit hm \[bb1al g\ ] isn ever tr i gg e r e d,w hich means th at $\frac{B _ t}{ B_1}\l eq  \s u m_{s=1 }^t
\ fr a c{b _s}{B_s}$ f or a ll rounds  $t=2, \ ldots,T $ . Thenfor an y c omp arat o rdi str ib u tio n  $ \rh o  \i n \trian gl e_ K$, t he r e s u l t fo llo ws f rom L emma \[lem:sm all .is. g ood \] an d the  fac tthat$V^{\r ho}_{ (1 :T]} \leq  V_T^ {\rh o}$ and t hefa ctth at $\ G amma^{ \rh o}_ {(1:T]}   \leq\Ga mm a _ T ^{ \rho}$.

Alternati ve l y ,supposetherei sat least on eres tart . Thenlet$ 1\leq
\ta u_1 <\ ta u_ 2< T$ b esuch t ha t $ (\t au_1, \ tau_ 2]$ an d $(\tau _2,T] $  are the two i n tervals overw hi c h  t h e la sttwo runs of  [<s p an s tyle = "f ont - varia nt:sm al l -c a ps;">Squint+C</span >] {} occ urred . We invoke T heorem \[l e m : small.is .goo d \] separately for  both  these int e rvals to  boun d $$\beg in{aligne d } 
  R_{(\ tau _1, T]} ^{\ r h o} 
    &\leq
   \s qr t{2   V_{ (\tau_1 ,\t au_ 2]} ^\r ho } \del*{      1+ 
   \ sqr t{2 \ G amma_{(\ ta u_1 ,\ tau _2]}^ { \rho}} 
   }
  +  5 B_{\t a u_ 2 } 
   \ de l*{\ Gam ma _{(\t au_1 , \ta u_2]}^{ \rho}+ \l n 2 }  +B_ {\ ta u_2}. \ nonumber\\
   &\quad+ \ sq rt{ 2    V _ { (\tau_2, T]}^\rho} \del*{
     1 +
     \s qrt{2  \Ga mma_{(\ta u_2 ,T]}^{ \rh o }}
   }

 \neq_0$. Then_the regret of [<span_style="font-variant:small-caps;">Squint+L</span>]{} in_round_one is_bounded_by $B_1 \leq_B_T$, and [<span_style="font-variant:small-caps;">Squint+C</span>]{} is started for_the first time_in_round $t=2$ with input $B=B_1$.

Now suppose first that the restart condition in line \[line:runmetagrad\] of_Algorithm \[bb1alg\]_is never_triggered,_which_means that $\frac{B_t}{B_1}\leq \sum_{s=1}^t
\frac{b_s}{B_s}$ for_all rounds $t=2,\ldots,T$. Then for_any comparator_distribution $\rho \in \triangle_K$, the result follows from_Lemma \[lem:small.is.good\]_and the fact_that $V^{\rho}_{(1:T]} \leq  V_T^{\rho}$ and the fact that_$\Gamma^{\rho}_{(1:T]}  \leq  \Gamma_T^{\rho}$.

Alternatively, suppose_there is at_least_one_restart. Then let $1_\leq
\tau_1 < \tau_2< T$ be such_that $(\tau_1,\tau_2]$ and $(\tau_2,T]$ are the_two intervals over which the last two_runs of [<span style="font-variant:small-caps;">Squint+C</span>]{} occurred. We_invoke Theorem \[lem:small.is.good\] separately for both_these intervals_to bound $$\begin{aligned}
  R_{(\tau_1,T]}^{\rho}
_  _&\leq
 _  _ \sqrt{2    V_{(\tau_1,\tau_2]}^\rho}_\del*{
  _   1+
  __  \sqrt{2_\Gamma_{(\tau_1,\tau_2]}^{\rho}}
__ _}
  __+
 __ 5 B_{\tau_2}
   _\del*{\Gamma_{(\tau_1,\tau_2]}^{\rho}+_\ln 2} +B_{\tau_2}. \nonumber\\
   _ &\quad+ \sqrt{2 __ V_{(\tau_2,T]}^\rho} \del*{
 _    1+
_     \sqrt{2_\Gamma_{(\tau_2,T]}^{\rho}}
 _ _}
