 such that ML hypothesis $\bar{i}_n = X$ for every $n \geq {{{T}}}$. That is, $$\begin{aligned}
T = \min\{n': \bar{i}_n = X ~ \forall n \geq n'\}.\end{aligned}$$ Notice that ${{{T}}}$ is a random variable. Under Assumption \[steadinf\], it was shown in [@chernoff1959sequential] (Lemma 1) that there exist constants $b,K > 0$ such that for every $i\in \mathcal{X}$ and any strategy $g \in \mathcal{G}$, we have ${{\mathbb P}}_i^g[{{{T}}} > n] \leq Ke^{-bn}$. Let $$\begin{aligned}
N' \doteq \left\lceil -\frac{1}{b}\log\frac{\epsilon_N}{2K} \right\rceil.\end{aligned}$$ This ensures that ${{\mathbb P}}_i^g[{{{T}}} > N'] \leq \epsilon_N/2$. Fix a hypothesis $i$. Define the following event for each $n \geq N'$ $$\begin{aligned}
\mathscr{Z}_n = \{\bar{i}_k = X, N' \leq k \leq n \}.\end{aligned}$$ Clearly, the events $\mathscr{Z}_n$ are decreasing with $n$. Also, we have $$\begin{aligned}
\{ T \leq N'\} \subseteq \mathscr{Z}_n,\end{aligned}$$ for every $n \geq N'$.

Due to the threshold structure of the inference strategy $\bar{f}^N$, proving that $\psi_N(i) \geq 1 - \epsilon_N$ is equivalent to showing that $$\begin{aligned}
{{\mathbb P}}_i^g[\mathcal{C}_i&({{\rho}}_{N+1}) - \mathcal{C}_i({{\rho}}_1) < \theta_N(i)] \leq \epsilon_N.\end{aligned}$$ To do so, we will use a Chernoff-bound based approach similar to the approach in Appendix \[detthmproof\]. We have $$\begin{aligned}
&{{\mathbb P}}_i^g[\mathcal{C}_{i}({{\rho}}_{N+1})- \mathcal{C}_{i}({{\rho}}_1) < \theta_N(i)]\\
&= {{\mathbb P}}_
such that ML hypothesis $ \bar{i}_n = X$ for every $ n \geq { { { T}}}$. That is, $ $ \begin{aligned } 
 T = \min\{n': \bar{i}_n = X ~ \forall n \geq n'\}.\end{aligned}$$ Notice that $ { { { T}}}$ is a random variable star. Under Assumption \[steadinf\ ], it was usher in [ @chernoff1959sequential ] (Lemma 1) that there exist constants $ b, K > 0 $ such that for every $ i\in \mathcal{X}$ and any scheme $ g \in \mathcal{G}$, we have $ { { \mathbb P}}_i^g[{{{T } } } > n ] \leq Ke^{-bn}$. get $ $ \begin{aligned } 
 N' \doteq \left\lceil -\frac{1}{b}\log\frac{\epsilon_N}{2 K } \right\rceil.\end{aligned}$$ This guarantee that $ { { \mathbb P}}_i^g[{{{T } } } > N' ] \leq \epsilon_N/2$. Fix a hypothesis $ i$. specify the following event for each $ normality \geq N'$ $ $ \begin{aligned } 
 \mathscr{Z}_n = \{\bar{i}_k = X, N' \leq k \leq n \}.\end{aligned}$$ Clearly, the events $ \mathscr{Z}_n$ are decrease with $ n$. besides, we have $ $ \begin{aligned } 
 \ { T \leq N'\ } \subseteq \mathscr{Z}_n,\end{aligned}$$ for every $ n \geq N'$. 

 Due to the brink structure of the inference strategy $ \bar{f}^N$, prove that $ \psi_N(i) \geq 1 - \epsilon_N$ is equivalent to showing that $ $ \begin{aligned } 
 { { \mathbb P}}_i^g[\mathcal{C}_i&({{\rho}}_{N+1 }) - \mathcal{C}_i({{\rho}}_1) < \theta_N(i) ] \leq \epsilon_N.\end{aligned}$$ To do so, we will practice a Chernoff - bound based access similar to the access in Appendix \[detthmproof\ ]. We have $ $ \begin{aligned } 
 & { { \mathbb P}}_i^g[\mathcal{C}_{i}({{\rho}}_{N+1})- \mathcal{C}_{i}({{\rho}}_1) < \theta_N(i)]\\ 
 & = { { \mathbb P } } _
 sufh that ML hypothesis $\bav{i}_n = X$ for every $n \geq {{{V}}}$. That js, $$\begin{xligned}
T = \min\{n': \bar{i}_n = X ~ \forell b \geq n'\}.\end{aligned}$$ Notice thxt ${{{T}}}$ is a random carieble. Under Assum'fion \[stccdinf\], lt wav shown in [@cherkoff1959sequenthal] (Lemma 1) thad ghzre exist constants $b,K > 0$ such that fjr everu $l\in \mathcal{X}$ agd amr stdategy $g \in \mathcal{G}$, we have ${{\mathbg P}}_i^g[{{{T}}} > n] \leq Ke^{-bn}$. Lrt $$\begin{aligned}
N' \doteq \lefh\lcell -\frac{1}{b}\log\frac{\epsllon_N}{2K} \righj\dceyo.\end{aligned}$$ Ghis ensurts that ${{\mathgb P}}_i^g[{{{T}}} > N'] \leq \epsilon_N/2$. Fix a hhpothzsis $i$. Defibe thf following xvent sor each $n \gca N'$ $$\becin{aligmed}
\mathscr{Z}_n = \{\nar{i}_k = X, N' \leq k \leq n \}.\end{alijned}$$ Clearly, the evegts $\mathswr{V}_n$ are decreasing wity $b$. Alsm, we havd $$\beein{zlmgnsd}
\{ T \lfq I'\} \subseteq \jathscr{Z}_n,\ene{aligned}$$ for every $m \dva N'$.

Due to ths threfhjld structure of the inference strategy $\bad{f}^N$, proving that $\psi_N(i) \teq 1 - \epsilon_N$ is equlvalent tj showing that $$\begin{aligned}
{{\mathbb P}}_i^g[\mathcal{C}_i&({{\rho}}_{T+1}) - \mavhzal{E}_l({{\vho}}_1) < \rhfta_N(i)] \leq \epsilon_N.\end{aligned}$$ To do so, we will hst a Chernoff-bound based apprpafh fimilar to thg approcdh in Appendix \[detthlproof\]. Re hace $$\begin{ajignrd}
&{{\mathbb P}}_i^g[\mathcal{C}_{i}({{\rho}}_{N+1})- \mqthcal{C}_{i}({{\rho}}_1) < \rheta_N(i)]\\
&= {{\mathbb P}}_
such that ML hypothesis $\bar{i}_n = X$ $n {{{T}}}$. That $$\begin{aligned} T = \forall \geq n'\}.\end{aligned}$$ Notice ${{{T}}}$ is a variable. Under Assumption \[steadinf\], it was in [@chernoff1959sequential] (Lemma 1) that there exist constants $b,K > 0$ such that every $i\in \mathcal{X}$ and any strategy $g \in \mathcal{G}$, we have ${{\mathbb P}}_i^g[{{{T}}} n] Ke^{-bn}$. $$\begin{aligned} \doteq \left\lceil -\frac{1}{b}\log\frac{\epsilon_N}{2K} \right\rceil.\end{aligned}$$ This ensures that ${{\mathbb P}}_i^g[{{{T}}} > N'] \leq \epsilon_N/2$. Fix a hypothesis Define the following event for each $n \geq $$\begin{aligned} \mathscr{Z}_n = \{\bar{i}_k X, N' \leq k \leq \}.\end{aligned}$$ the events are with Also, we have \{ T \leq N'\} \subseteq \mathscr{Z}_n,\end{aligned}$$ for every $n \geq N'$. Due to the threshold structure of inference strategy that $\psi_N(i) 1 \epsilon_N$ equivalent to showing {{\mathbb P}}_i^g[\mathcal{C}_i&({{\rho}}_{N+1}) - \mathcal{C}_i({{\rho}}_1) < \theta_N(i)] do so, we will use a Chernoff-bound based similar to approach in Appendix \[detthmproof\]. We have &{{\mathbb P}}_i^g[\mathcal{C}_{i}({{\rho}}_{N+1})- \mathcal{C}_{i}({{\rho}}_1) < \theta_N(i)]\\ &= {{\mathbb P}}_
 such that ML hypothesis $\bar{i}_n = x$ for every $n \Geq {{{T}}}$. THat Is, $$\bEgIn{alIgneD}
T = \min\{n': \bar{i}_n = X ~ \foRAll n \Geq n'\}.\end{aligned}$$ Notice thAt ${{{T}}}$ is A rANdom VArIable. under AsSUmPTIon \[StEaDinF\], iT WaS showN in [@ChernofF1959sequentiaL] (LeMmA 1) that there exISt Constants $b,k > 0$ suCh that for eveRy $i\In \mathCaL{X}$ aND any sTraTegy $g \In \mathCAl{G}$, we hAve ${{\mathbb p}}_i^G[{{{t}}} > n] \leq KE^{-Bn}$. Let $$\beGIN{aLignEd}
N' \doteq \left\lceil -\FRaC{1}{B}\log\frac{\epsiloN_N}{2K} \rigHt\RCeIL.\End{AliGned}$$ This enSuRes thAT ${{\mathbb p}}_I^g[{{{t}}} > n'] \LEq \ePSilon_N/2$. Fix a hypOthesis $i$. DefINe tHe follOwIng EVent foR each $N \gEQ N'$ $$\bEgin{aligned}
\MathScr{Z}_n = \{\bar{i}_K = X, N' \leq K \Leq n \}.\end{ALigned}$$ CLearly, The EveNts $\mAThScR{Z}_n$ ArE DecREaSinG WitH $n$. Also, we HaVe $$\Begin{AligNED}
\{ t \Leq N'\} \SubSeteQ \mathScr{Z}_n,\end{alignEd}$$ fOr evERy $n \Geq N'$.

DUe to tHe thReShold StructUre of ThE inference stratEgy $\bAr{f}^N$, proviNg tHaT $\psI_N(I) \geq 1 - \ePSilon_N$ Is eQuiValent tO showinG ThaT $$\bEGIN{aLigned}
{{\mathbb P}}_i^g[\matHcAL{c}_i&({{\Rho}}_{N+1}) - \mathCal{C}_i({{\rHO}}_1) < \tHeTA_N(i)] \leq \epSiLon_n.\end{ALIgned}$$ to do SO, wE will use A ChernOFf-BoUnd baseD aPproacH sImiLar To the APproAch in APpendix \[dEtthmPRoof\]. We have $$\begiN{Aligned}
&{{\mathbb p}}_I^g[\MAThCAl{C}_{i}({{\Rho}}_{n+1})- \mathcal{C}_{i}({{\rHo}}_1) < \thETa_N(i)]\\
&= {{\MathBB P}}_
 such that ML hypothesis $ \bar{i}_n= X$for  ev er y $n  \ge q {{{T}}}$. Th a t is , $$\begin{aligned}
T= \mi n\ { n':\ ba r{i}_ n = X ~ \f o r all  n  \ geq  n ' \} .\end {al igned}$ $ Notice t hat  $ {{{T}}}$ isa  r andom vari abl e. Under Ass ump tion \ [s tea d inf\] , i t was  shown in [@c hernoff19 59 s equent i al] (Le m m a1) t hat there exist c o ns t ants $b,K > 0$  suchth a tf o r e ver y $i\in \m at hcal{ X }$ anda ny s t rat e gy $g \in \ma thcal{G}$,w e h ave ${ {\ mat h bb P}} _i^g[ {{ { T}} } > n] \leq  Ke^ {-bn}$. L et $$\ b egin{al i gned}
N ' \dot eq\le ft\l c ei l-\f ra c {1} { b} \lo g \fr ac{\epsi lo n_ N}{2K } \r i g h t \rce il. \end {alig ned}$$ This e nsu rest hat  ${{\ mathb b P} }_ i^g[{ {{T}}}  > N' ]\leq \epsilon_N /2$.  Fix a hy pot he sis  $ i$. D e fine t hefol lowingevent f o r e ac h $ n\geq N'$ $$\begin{ al i g ne d}
\math scr{Z} _ n=\ {\bar{i} _k  =X, N ' \leqk \l e qn \}.\en d{alig n ed }$ $ Clear ly , theev ent s $ \math s cr{Z }_n$ a re decre asing with $n$. Also ,  we have $$\b e gi n { al i gned }
\ { T \leq N' \} \ s ubse teq\ ma ths c r{Z}_ n,\en d{ a li g ned}$$ for every $n  \ geq N' $.

D ue to the thr eshold str u c t ure of t he i n fe r ence strategy$\bar {f}^N$, pr o ving tha t $\p si_N(i)\geq 1 -\ e psilon_N $ i s e qui val e n tto showing th a t  $$\ be gin{ali gne d}
{{\m ath bbP}} _i^ g[ \mathcal{ C}_i&({{ \r ho }} _{ N+1 }) -\ mathcal{ C} _i( {{ \rh o}}_1 )  < \th eta_N (i)]  \ le q  \e psilon_ N .\ e n d{al ig ne d}$$  To  d o so,  wew ill  use aChernoff- bou n d ba se dapproac h similar toth e approach  i n A ppendi x \[detthm proof\]. We have $$\beg i n{align ed} 
&{{\ math bb P}}_i^ g[\ mathca l{C } _{i}({ {\rho} }_{N+ 1} )-\ m athca l { C} _{i }( {{\rho}}_1 ) < \ theta _N (i)] \\
&= { {\mathbb P}}_
 such_that ML_hypothesis $\bar{i}_n = X$_for every_$n_\geq {{{T}}}$._That_is, $$\begin{aligned}
T =_\min\{n': \bar{i}_n =_X ~ \forall n_\geq n'\}.\end{aligned}$$ Notice_that_${{{T}}}$ is a random variable. Under Assumption \[steadinf\], it was shown in [@chernoff1959sequential] (Lemma_1)_that there_exist_constants_$b,K > 0$ such that_for every $i\in \mathcal{X}$ and_any strategy_$g \in \mathcal{G}$, we have ${{\mathbb P}}_i^g[{{{T}}} >_n]_\leq Ke^{-bn}$. Let_$$\begin{aligned}
N' \doteq \left\lceil -\frac{1}{b}\log\frac{\epsilon_N}{2K} \right\rceil.\end{aligned}$$ This ensures that ${{\mathbb_P}}_i^g[{{{T}}} > N'] \leq \epsilon_N/2$. Fix_a hypothesis $i$._Define_the_following event for each_$n \geq N'$ $$\begin{aligned}
\mathscr{Z}_n = \{\bar{i}_k_= X, N' \leq k \leq_n \}.\end{aligned}$$ Clearly, the events $\mathscr{Z}_n$ are_decreasing with $n$. Also, we have_$$\begin{aligned}
\{ T \leq N'\} \subseteq_\mathscr{Z}_n,\end{aligned}$$ for_every $n \geq N'$.

Due to_the threshold structure_of the_inference strategy $\bar{f}^N$,_proving that $\psi_N(i) \geq 1 -_\epsilon_N$ is equivalent_to showing that $$\begin{aligned}
{{\mathbb P}}_i^g[\mathcal{C}_i&({{\rho}}_{N+1}) -_\mathcal{C}_i({{\rho}}_1)_< \theta_N(i)] \leq_\epsilon_N.\end{aligned}$$_To_do so,_we will use_a_Chernoff-bound based_approach_similar to the approach in Appendix_\[detthmproof\]._We have $$\begin{aligned}
&{{\mathbb P}}_i^g[\mathcal{C}_{i}({{\rho}}_{N+1})- \mathcal{C}_{i}({{\rho}}_1) < \theta_N(i)]\\
&=_{{\mathbb P}}_