 in and applying Lemma \[stratcondlemma\] inductively, we have $$\begin{aligned}
{{\mathbb E}}^g_i\exp[&-s(\mathcal{C}_i({{\rho}}_{N+1}) - \mathcal{C}_i({{\rho}}_1))]\\
& \leq \sum_{j\neq i}(\tilde{\rho}_1(j))^s\exp(-sND^*(i) + s^2NB^2/2)\\
&\leq M\exp(-sND^*(i) + s^2NB^2/2).\label{mgf3}\end{aligned}$$

### Chernoff Bound

We can use the Chernoff bound [@ross2014introduction] to conclude that $$\begin{aligned}
{{\mathbb P}}_i^g[\mathcal{C}_i&({{\rho}}_{N+1}) - \mathcal{C}_i({{\rho}}_1) < \theta]\\
& \leq {{\mathbb E}}^g_i\exp[-s(\mathcal{C}_i({{\rho}}_{N+1}) - \mathcal{C}_i({{\rho}}_1) -\theta)]\\
&\stackrel{a}{\leq} M\exp(s\theta-sND^*(i) + s^2NB^2/2)\\
&\stackrel{b}{=} \epsilon_N.\end{aligned}$$ Inequality $(a)$ follows from the result in (\[mgf3\]). Equality $(b)$ is obtained by substituting $\theta = \theta_N$ and $s = s_N$ where $$\begin{aligned}
\theta_N &\doteq ND^*(i) - \frac{s_N NB^2}{2}- {\frac{1}{s_N}\log\frac{M}{\epsilon_N}},\label{thetadef}\end{aligned}$$ and $s_N$ is as defined in. Under Assumptions \[epsassum\], one can easily verify that $\theta_N/ N \to D^*(i)$ as $N \to \infty$. Thus, we have shown that for the strategy pair $(f^N,g^N)$, $\psi_N(i) \geq 1-\epsilon_N$.

Feasibility of Strategy in Section \[stratsubsubsec\] for Problem  {#achievesymproof}
==================================================================

Let ${{{T}}}$ be the smallest time index
in and applying Lemma \[stratcondlemma\ ] inductively, we have $ $ \begin{aligned } 
 { { \mathbb E}}^g_i\exp[&-s(\mathcal{C}_i({{\rho}}_{N+1 }) - \mathcal{C}_i({{\rho}}_1))]\\ 
 & \leq \sum_{j\neq i}(\tilde{\rho}_1(j))^s\exp(-sND^*(i) + s^2NB^2/2)\\ 
 & \leq M\exp(-sND^*(i) + s^2NB^2/2).\label{mgf3}\end{aligned}$$ 

 # # # Chernoff Bound 

 We can use the Chernoff bound [ @ross2014introduction ] to reason that $ $ \begin{aligned } 
 { { \mathbb P}}_i^g[\mathcal{C}_i&({{\rho}}_{N+1 }) - \mathcal{C}_i({{\rho}}_1) < \theta]\\ 
 & \leq { { \mathbb E}}^g_i\exp[-s(\mathcal{C}_i({{\rho}}_{N+1 }) - \mathcal{C}_i({{\rho}}_1) -\theta)]\\ 
 & \stackrel{a}{\leq } M\exp(s\theta - sND^*(i) + s^2NB^2/2)\\ 
 & \stackrel{b}{= } \epsilon_N.\end{aligned}$$ Inequality $ (a)$ take after from the result in (\[mgf3\ ]). Equality $ (b)$ is obtained by substitute $ \theta = \theta_N$ and $ sulfur = s_N$ where $ $ \begin{aligned } 
 \theta_N & \doteq ND^*(i) - \frac{s_N NB^2}{2}- { \frac{1}{s_N}\log\frac{M}{\epsilon_N}},\label{thetadef}\end{aligned}$$ and $ s_N$ is as defined in. Under assumption \[epsassum\ ], one can well verify that $ \theta_N/ N \to D^*(i)$ as $ N \to \infty$. Thus, we have shown that for the strategy pair $ (f^N, g^N)$, $ \psi_N(i) \geq 1-\epsilon_N$. 

 Feasibility of Strategy in Section \[stratsubsubsec\ ] for Problem   { # achievesymproof } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 lease $ { { { T}}}$ be the smallest time exponent
 in and applying Lemma \[straucondlemma\] inductncely, wx have $$\gegin{aliened}
{{\mathbb E}}^g_i\exp[&-s(\mathcal{C}_i({{\rio}}_{N+1}) - \mathxal{C}_i({{\rho}}_1))]\\
& \leq \sum_{j\neq i}(\gilde{\rho}_1(j))^d\exp(-sND^*(i) + s^2NU^2/2)\\
&\leq M\exp(-sND^*(i) + s^2IG^2/2).\label{mny3}\end{amlgned}$$

### Rhernoff Bound

Wg can use tha Chernoff boutd [@rlss2014introduction] to conclude that $$\bedin{aligmef}
{{\mathbb P}}_i^g[\matrcal{B}_i&({{\who}}_{N+1}) - \mathcal{C}_i({{\rho}}_1) < \theta]\\
& \leq {{\mathbb E}}^f_i\exp[-s(\methcal{C}_i({{\rho}}_{N+1}) - \msthcal{C}_i({{\rho}}_1) -\theta)]\\
&\stackrel{a}{\peq} L\exp(s\theta-sND^*(i) + s^2NH^2/2)\\
&\stackrel{b}{=} \glsijin_N.\end{alignea}$$ Inequaliuy $(a)$ follows from the result in (\[mgf3\]). Equalith $(b)$ ix obtained bt sktstituting $\vheta = \theta_N$ and $s = s_N$ whare $$\begon{aligned}
\theta_K &\dotxq NE^*(i) - \frac{s_N NB^2}{2}- {\frac{1}{s_N}\lmg\frac{M}{\epsilon_N}},\labgl{thetadef}\anb{aligned}$$ and $s_N$ is as dwfineg in. Undde Arsujpviohs \[epswssnm\], one can sasily veridy that $\theta_N/ N \to D^*(y)$ as $N \to \inftg$. Thus, wq have shown that for the strategy pair $(f^N,f^N)$, $\psi_N(i) \geq 1-\epsilon_N$.

Feqsibility of Strategy in Sectijn \[stratsubsubsec\] for Problem  {#achievesymproof}
==================================================================

Let ${{{T}}}$ be ghe sixolfst time index
in and applying Lemma \[stratcondlemma\] inductively, we {{\mathbb - \mathcal{C}_i({{\rho}}_1))]\\ \leq \sum_{j\neq i}(\tilde{\rho}_1(j))^s\exp(-sND^*(i) s^2NB^2/2).\label{mgf3}\end{aligned}$$ Chernoff Bound We use the Chernoff [@ross2014introduction] to conclude that $$\begin{aligned} {{\mathbb - \mathcal{C}_i({{\rho}}_1) < \theta]\\ & \leq {{\mathbb E}}^g_i\exp[-s(\mathcal{C}_i({{\rho}}_{N+1}) - \mathcal{C}_i({{\rho}}_1) -\theta)]\\ &\stackrel{a}{\leq} M\exp(s\theta-sND^*(i) s^2NB^2/2)\\ &\stackrel{b}{=} \epsilon_N.\end{aligned}$$ Inequality $(a)$ follows from the result in (\[mgf3\]). Equality $(b)$ obtained substituting = and $s = s_N$ where $$\begin{aligned} \theta_N &\doteq ND^*(i) - \frac{s_N NB^2}{2}- {\frac{1}{s_N}\log\frac{M}{\epsilon_N}},\label{thetadef}\end{aligned}$$ and $s_N$ is defined in. Under Assumptions \[epsassum\], one can easily that $\theta_N/ N \to as $N \to \infty$. Thus, have that for strategy $(f^N,g^N)$, \geq 1-\epsilon_N$. Feasibility Strategy in Section \[stratsubsubsec\] for Problem {#achievesymproof} ================================================================== Let ${{{T}}}$ be the smallest time index
 in and applying Lemma \[stratcoNdlemma\] indUctivEly, We hAvE $$\begIn{alIgned}
{{\mathbb E}}^g_i\EXp[&-s(\mAthcal{C}_i({{\rho}}_{N+1}) - \mathcal{C}_i({{\rHo}}_1))]\\
& \leq \SuM_{J\neq I}(\TiLde{\rhO}_1(j))^s\exp(-snd^*(i) + S^2nb^2/2)\\
&\leQ M\ExP(-sNd^*(i) + S^2nB^2/2).\Label{Mgf3}\End{aligNed}$$

### ChernofF BoUnD

We can use the cHeRnoff bound [@RosS2014introductioN] to ConcluDe ThaT $$\Begin{AliGned}
{{\mAthbb P}}_I^G[\mathcAl{C}_i&({{\rho}}_{N+1}) - \mAtHCal{C}_i({{\rHO}}_1) < \theta]\\
& \lEQ {{\MaThbb e}}^g_i\exp[-s(\mathcal{C}_i({{\rHO}}_{N+1}) - \MAthcal{C}_i({{\rho}}_1) -\theTa)]\\
&\stacKrEL{a}{\LEQ} M\eXp(s\Theta-sND^*(i) + s^2nB^2/2)\\
&\StackREl{b}{=} \epsiLOn_n.\END{alIGned}$$ InequalitY $(a)$ follows frOM thE resulT iN (\[mgF3\]). equaliTy $(b)$ is ObTAinEd by substitUtinG $\theta = \theTa_N$ and $S = S_N$ where $$\BEgin{aliGned}
\thEta_n &\doTeq Nd^*(I) - \fRaC{s_N nB^2}{2}- {\FRac{1}{S_n}\lOg\fRAc{M}{\Epsilon_N}},\LaBeL{thetAdef}\END{ALignEd}$$ aNd $s_N$ Is as dEfined in. Under assUmptIOns \[EpsasSum\], onE can EaSily vErify tHat $\thEtA_N/ N \to D^*(i)$ as $N \to \infTy$. ThUs, we have sHowN tHat FoR the sTRategy PaiR $(f^N,G^N)$, $\psi_N(i) \Geq 1-\epsiLOn_N$.

feASIBiLity of Strategy in SeCtION \[sTratsubsUbsec\] fOR PRoBLem  {#achieVeSymProoF}
==================================================================

lEt ${{{T}}}$ be The sMAlLest time Index
 in and applying Lemma \[s tratcondle mma\]  in duc ti vely , we  have $$\begin { alig ned}
{{\mathbb E}}^g_i \exp[ &- s (\ma t hc al{C} _i({{\r h o} } _ {N+ 1} )- \ ma t hc al{C} _i( {{\rho} }_1))]\\
&  \l eq  \sum_{j\neq i} (\tilde{\r ho} _1(j))^s\exp (-s ND^*(i )+ s ^ 2NB^2 /2) \\
&\ leq M\ e xp(-sN D^*(i) +s^ 2 NB^2/2 ) .\label { m gf 3}\e nd{aligned}$$

## #  C h ernoff Bound
We can  u s et h e C her noff bound  [ @ross 2 014intr o du c t i on] to conclude t hat $$\begi n {al igned} 
{ {\m a thbb P }}_i^ g[ \ mat hcal{C}_i&( {{\r ho}}_{N+1 }) - \ m athcal{ C }_i({{\ rho}}_ 1)< \ thet a ]\ \& \ le q  {{ \ ma thb b  E} }^g_i\ex p[ -s (\mat hcal { C } _ i({{ \rh o}}_ {N+1} ) - \mathcal{ C}_ i({{ \ rho }}_1)  -\th eta) ]\ \
&\s tackre l{a}{ \l eq} M\exp(s\the ta-s ND^*(i) +  s^ 2N B^2 /2 )\\
& \ stackr el{ b}{ =} \eps ilon_N. \ end {a l i g ne d}$$ Inequality $( a) $ fo llows fr om the re su l t in (\[ mg f3\ ]).E q ualit y $( b )$  is obta ined b y  s ub stituti ng  $\the ta  =\th eta_N $  and  $s =s_N$ whe re $$ \ begin{aligned} \theta_N &\do t eq N D^ * (i)- \ frac{s_N NB ^2}{ 2 }- { \fra c {1 }{s _ N}\lo g\fra c{ M }{ \ epsilon_N}},\label{ th etadef }\end {aligned}$$ a nd $s_N$ i s a s define d in .  U n der Assumption s \[e psassum\], one caneasil y verify  that $\t h e ta_N/ N\to  D^ *(i )$a s  $ N \to \infty$ . Thus ,we have  sh own tha t f orthe  st ra tegy pair  $(f^N,g ^N )$ ,$\ psi _N(i) \geq 1-\ ep sil on _N$ .

Fe a sibili ty of  Str at eg y  in  Sectio n  \ [ s trat su bs ubse c\]  f or Pr oble m   { #achiev esymproof }
= = ==== == == ======= ============= == ========== == === ====== = = ======== ===

Let ${{{T}}}$ be t h e small est  time  ind ex
 in_and applying_Lemma \[stratcondlemma\] inductively, we_have $$\begin{aligned}
{{\mathbb_E}}^g_i\exp[&-s(\mathcal{C}_i({{\rho}}_{N+1})_- \mathcal{C}_i({{\rho}}_1))]\\
&_\leq_\sum_{j\neq i}(\tilde{\rho}_1(j))^s\exp(-sND^*(i) +_s^2NB^2/2)\\
&\leq M\exp(-sND^*(i) +_s^2NB^2/2).\label{mgf3}\end{aligned}$$

### Chernoff Bound

We can_use the Chernoff_bound_[@ross2014introduction] to conclude that $$\begin{aligned}
{{\mathbb P}}_i^g[\mathcal{C}_i&({{\rho}}_{N+1}) - \mathcal{C}_i({{\rho}}_1) < \theta]\\
& \leq {{\mathbb E}}^g_i\exp[-s(\mathcal{C}_i({{\rho}}_{N+1}) -_\mathcal{C}_i({{\rho}}_1)_-\theta)]\\
&\stackrel{a}{\leq} M\exp(s\theta-sND^*(i)_+_s^2NB^2/2)\\
&\stackrel{b}{=}_\epsilon_N.\end{aligned}$$ Inequality $(a)$ follows from_the result in (\[mgf3\]). Equality_$(b)$ is_obtained by substituting $\theta = \theta_N$ and $s_=_s_N$ where $$\begin{aligned}
\theta_N_&\doteq ND^*(i) - \frac{s_N NB^2}{2}- {\frac{1}{s_N}\log\frac{M}{\epsilon_N}},\label{thetadef}\end{aligned}$$ and $s_N$ is_as defined in. Under Assumptions \[epsassum\],_one can easily_verify_that_$\theta_N/ N \to D^*(i)$_as $N \to \infty$. Thus, we_have shown that for the strategy_pair $(f^N,g^N)$, $\psi_N(i) \geq 1-\epsilon_N$.

Feasibility of Strategy_in Section \[stratsubsubsec\] for Problem _{#achievesymproof}
==================================================================

Let ${{{T}}}$ be the smallest_time index