] 
= \emptyset\right)\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}$$ $$= \left(1-\left(\mathds{P}_{q',q}\left(\hat{\eta}_0(0) = 0\right)\mathds{P}_{q',q}\left(
\mathcal{P}_{0}^1 \cap \left[0,t-\left\lfloor\frac{t}{K}\right\rfloor K\right] 
= \emptyset\right)\right)^{|R|}\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}.$$ Furthermore, since $t-\left\lfloor\frac{t}{K}\right\rfloor K \leq K$ and $q \geq q_K = 1+\frac{1}{3K|R|}\ln(1-e^{-K})$, $$\mathds{P}_{q',q}\left( \mathcal{P}_{0}^1 \cap \left[0,t-\left\lfloor\frac{t}{K}\right\rfloor K\right] 
= \emptyset\right) = e^{-(1-q)\left(t-\left\lfloor\frac{t}{K}\right\rfloor K\right)}
\geq e^{\frac{1}{3K|R|}\ln(1-e^{-K})K}
  = (1-e^{-K})^{\frac{1}{3|R|}} 
\geq \left(\frac{1}{2}\right)^{\frac{1}{3|R|}}$$ since $K \geq 2$. This implies $$\mathds{P}_{q',q}(\forall r \in \mathcal{X}^{y(\gamma),k(\gamma)}, 
  W^{\gamma,\hat{\eta}}(r)^c | \mathcal{F}) 
\leq \left(1-\mathds{P}_{q',q}\left(\hat{\eta}_0(0) = 0\right)^{|R|}
\left(\frac{1}{2}\right)^{\frac{1}{3}}\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}.$$ In addition, if $\hat{\eta}=\eta$, $\mathds{P}_{q',q}(\hat{\eta}_0(0) = 0) = q'$, so $1-\mathds{P}_{q',q}(\eta_0(0) = 0
] 
 = \emptyset\right)\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}$$ $ $ = \left(1-\left(\mathds{P}_{q',q}\left(\hat{\eta}_0(0) = 0\right)\mathds{P}_{q',q}\left (
 \mathcal{P}_{0}^1 \cap \left[0,t-\left\lfloor\frac{t}{K}\right\rfloor K\right ] 
 = \emptyset\right)\right)^{|R|}\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}.$$ Furthermore, since $ t-\left\lfloor\frac{t}{K}\right\rfloor K \leq K$ and $ q \geq q_K = 1+\frac{1}{3K|R|}\ln(1 - e^{-K})$, $ $ \mathds{P}_{q',q}\left (\mathcal{P}_{0}^1 \cap \left[0,t-\left\lfloor\frac{t}{K}\right\rfloor K\right ] 
 = \emptyset\right) = e^{-(1 - q)\left(t-\left\lfloor\frac{t}{K}\right\rfloor K\right) } 
 \geq e^{\frac{1}{3K|R|}\ln(1 - e^{-K})K } 
   = (1 - e^{-K})^{\frac{1}{3|R| } } 
 \geq \left(\frac{1}{2}\right)^{\frac{1}{3|R|}}$$ since $ K \geq 2$. This implies $ $ \mathds{P}_{q',q}(\forall r \in \mathcal{X}^{y(\gamma),k(\gamma) }, 
   W^{\gamma,\hat{\eta}}(r)^c | \mathcal{F }) 
 \leq \left(1-\mathds{P}_{q',q}\left(\hat{\eta}_0(0) = 0\right)^{|R| } 
 \left(\frac{1}{2}\right)^{\frac{1}{3}}\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}.$$ In addition, if $ \hat{\eta}=\eta$, $ \mathds{P}_{q',q}(\hat{\eta}_0(0) = 0) = q'$, therefore $ 1-\mathds{P}_{q',q}(\eta_0(0) = 0
] 
= \elptyset\right)\right)^{|\mathcal{W}^{y(\gamma),k(\gamma)}|}$$ $$= \lgfr(1-\left(\methds{P}_{q',s}\left(\hat{\dta}_0(0) = 0\right)\mathds{P}_{q',q}\left(
\mathcel{P}_{0}^1 \xap \ltyt[0,t-\left\lfloor\frac{t}{K}\rkght\rfloog K\right] 
= \empuyset\right)\right)^{|R|}\rmfht)^{|\mathgcl{X}^{y(\gzlma),k(\yanma)}|}.$$ Furthermorg, since $t-\lefd\lfloor\frac{t}{K}\rhgft\xfloor K \leq K$ and $q \geq q_K = 1+\frac{1}{3K|R|}\lg(1-e^{-K})$, $$\matndd{P}_{q',q}\left( \mathcwl{P}_{0}^1 \ba[ \lern[0,t-\oeft\lfloor\frac{t}{K}\right\rfloor K\dight] 
= \tmptyset\right) = e^{-(1-q)\lrft(t-\left\lfloor\frac{t}{K}\right\rvloog K\right)}
\geq e^{\frac{1}{3K|G|}\ln(1-e^{-K})K}
  = (1-e^{-K})^{\drac{1}{3|W|}} 
\geq \left(\fraz{1}{2}\right)^{\frac{1}{3|G|}}$$ since $K \ggq 2$. This implies $$\mathds{P}_{q',q}(\forall r \in \mathcal{X}^{y(\tanma),n(\camma)}, 
  W^{\ganma,\han{\eta}}(r)^c | \mathcal{F}) 
\leq \neft(1-\matnds{P}_{q',q}\left(\hat{\eba}_0(0) = 0\rmght)^{|E|}
\left(\frac{1}{2}\right)^{\frac{1}{3}}\rigit)^{|\mathcal{X}^{y(\gamma),k(\gamia)}|}.$$ In addhtnon, if $\hat{\eta}=\eta$, $\mathes{P}_{q',q}(\haj{\eta}_0(0) = 0) = q'$, wo $1-\oatgdx{P}_{s',q}(\eta_0(0) = 0
] = \emptyset\right)\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}$$ $$= \left(1-\left(\mathds{P}_{q',q}\left(\hat{\eta}_0(0) = 0\right)\mathds{P}_{q',q}\left( \left[0,t-\left\lfloor\frac{t}{K}\right\rfloor = \emptyset\right)\right)^{|R|}\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}.$$ since $t-\left\lfloor\frac{t}{K}\right\rfloor K q_K 1+\frac{1}{3K|R|}\ln(1-e^{-K})$, $$\mathds{P}_{q',q}\left( \mathcal{P}_{0}^1 \left[0,t-\left\lfloor\frac{t}{K}\right\rfloor K\right] = = e^{-(1-q)\left(t-\left\lfloor\frac{t}{K}\right\rfloor K\right)} \geq e^{\frac{1}{3K|R|}\ln(1-e^{-K})K} = \geq \left(\frac{1}{2}\right)^{\frac{1}{3|R|}}$$ since $K \geq 2$. This implies $$\mathds{P}_{q',q}(\forall r \in \mathcal{X}^{y(\gamma),k(\gamma)}, W^{\gamma,\hat{\eta}}(r)^c \mathcal{F}) \leq \left(1-\mathds{P}_{q',q}\left(\hat{\eta}_0(0) = 0\right)^{|R|} \left(\frac{1}{2}\right)^{\frac{1}{3}}\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}.$$ In addition, if $\hat{\eta}=\eta$, $\mathds{P}_{q',q}(\hat{\eta}_0(0) = 0) q'$, $1-\mathds{P}_{q',q}(\eta_0(0) 0
] 
= \emptyset\right)\right)^{|\mathcal{x}^{y(\gamma),k(\gaMma)}|}$$ $$= \leFt(1-\lEft(\MaThds{p}_{q',q}\lEft(\hat{\eta}_0(0) = 0\right)\MAthdS{P}_{q',q}\left(
\mathcal{P}_{0}^1 \cap \lefT[0,t-\lefT\lFLoor\FRaC{t}{K}\riGht\rfloOR K\RIGht] 
= \EmPtYseT\rIGhT)\righT)^{|R|}\rIght)^{|\matHcal{X}^{y(\gammA),k(\gAmMa)}|}.$$ FurthermorE, SiNce $t-\left\lfLooR\frac{t}{K}\right\RflOor K \leQ K$ And $Q \Geq q_K = 1+\FraC{1}{3K|R|}\ln(1-E^{-K})$, $$\mathDS{P}_{q',q}\leFt( \mathcal{p}_{0}^1 \cAP \left[0,t-\LEft\lfloOR\FrAc{t}{K}\Right\rfloor K\right] 
= \EMpTYset\right) = e^{-(1-q)\lefT(t-\left\LfLOoR\FRac{T}{K}\rIght\rfloor k\rIght)}
\gEQ e^{\frac{1}{3K|r|}\Ln(1-E^{-k})k}
  = (1-E^{-K})^{\fRAc{1}{3|R|}} 
\geq \left(\fraC{1}{2}\right)^{\frac{1}{3|R|}}$$ SIncE $K \geq 2$. THiS imPLies $$\maThds{P}_{Q',q}(\FOraLl r \in \mathcaL{X}^{y(\gAmma),k(\gammA)}, 
  W^{\gammA,\Hat{\eta}}(r)^C | \Mathcal{f}) 
\leq \leFt(1-\mAthDs{P}_{q',Q}\LeFt(\Hat{\EtA}_0(0) = 0\RigHT)^{|R|}
\LefT(\FraC{1}{2}\right)^{\frAc{1}{3}}\RiGht)^{|\maThcaL{x}^{Y(\GAmma),K(\gaMma)}|}.$$ IN addiTion, if $\hat{\eta}=\eTa$, $\mAthdS{p}_{q',q}(\Hat{\etA}_0(0) = 0) = q'$, so $1-\mAthdS{P}_{Q',q}(\eta_0(0) = 0
] 
= \emptyset\right)\righ t)^{|\math cal{X }^{ y(\ ga mma) ,k(\ gamma)}|}$$ $$ =  \le ft(1-\left(\mathds{P}_ {q',q }\ l eft( \ ha t{\et a}_0(0) =0 \ rig ht )\ mat hd s {P }_{q' ,q} \left(\mathcal{P }_{ 0} ^1 \cap \lef t [0 ,t-\left\l flo or\frac{t}{K }\r ight\r fl oor K\rig ht]  
= \ emptys e t\righ t)\right) ^{ | R|}\ri g ht)^{|\ m a th cal{ X}^{y(\gamma),k(\ g am m a)}|}.$$ Furth ermore ,s in c e  $t -\l eft\lfloor \f rac{t } {K}\rig h t\ r f l oor K \leq K$ and  $q \geq q_ K  =1+\fra c{ 1}{ 3 K|R|}\ ln(1- e^ { -K} )$, $$\math ds{P }_{q',q}\ left(\ mathcal { P}_{0}^ 1 \cap  \l eft [0,t - \l ef t\l fl o or\ f ra c{t } {K} \right\r fl oo r K\r ight ] =  \em pty set\ right ) = e^{-(1-q) \le ft(t - \le ft\lf loor\ frac {t }{K}\ right\ rfloo rK\right)}
\geqe^{\ frac{1}{3 K|R |} \ln (1 -e^{- K })K}
 =(1- e^{-K}) ^{\frac { 1}{ 3| R | } }
\geq \left(\frac{ 1} { 2 }\ right)^{ \frac{ 1 }{ 3| R |}}$$ si nc e $ K \g e q  2$.This im plies $$ \mathd s {P }_ {q',q}( \f orallr\in  \m athca l {X}^ {y(\ga mma),k(\ gamma ) }, 
  W^{\gamm a ,\hat{\eta}}( r )^ c |\ math cal {F}) 
\leq\lef t (1-\ math d s{ P}_ { q',q} \left (\ h at { \eta}_0(0) = 0\righ t) ^{|R|} 
\lef t(\frac{1}{2} \right)^{\ f r a c{1}{3}} \rig h t) ^ {|\mathcal{X}^ {y(\g amma),k(\g a mma)}|}. $$ In  additio n, if $\h a t {\eta}=\ eta $,$\m ath d s {P }_{q',q}(\hat { \ eta} _0 (0) = 0 ) =  q'$, s o $ 1-\ mat hds {P }_{q',q}( \eta_0(0 )=0
] 
=_\emptyset\right)\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}$$ $$=_\left(1-\left(\mathds{P}_{q',q}\left(\hat{\eta}_0(0) = 0\right)\mathds{P}_{q',q}\left(
\mathcal{P}_{0}^1 \cap_\left[0,t-\left\lfloor\frac{t}{K}\right\rfloor K\right]_
=_\emptyset\right)\right)^{|R|}\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}.$$ Furthermore,_since_$t-\left\lfloor\frac{t}{K}\right\rfloor K \leq_K$ and $q_\geq q_K = 1+\frac{1}{3K|R|}\ln(1-e^{-K})$,_$$\mathds{P}_{q',q}\left( \mathcal{P}_{0}^1 \cap_\left[0,t-\left\lfloor\frac{t}{K}\right\rfloor_K\right] 
= \emptyset\right) = e^{-(1-q)\left(t-\left\lfloor\frac{t}{K}\right\rfloor K\right)}
\geq e^{\frac{1}{3K|R|}\ln(1-e^{-K})K}
  = (1-e^{-K})^{\frac{1}{3|R|}} 
\geq \left(\frac{1}{2}\right)^{\frac{1}{3|R|}}$$ since $K_\geq_2$. This_implies_$$\mathds{P}_{q',q}(\forall_r \in \mathcal{X}^{y(\gamma),k(\gamma)}, 
 _W^{\gamma,\hat{\eta}}(r)^c | \mathcal{F}) 
\leq \left(1-\mathds{P}_{q',q}\left(\hat{\eta}_0(0)_= 0\right)^{|R|}
\left(\frac{1}{2}\right)^{\frac{1}{3}}\right)^{|\mathcal{X}^{y(\gamma),k(\gamma)}|}.$$_In addition, if $\hat{\eta}=\eta$, $\mathds{P}_{q',q}(\hat{\eta}_0(0) = 0) =_q'$,_so $1-\mathds{P}_{q',q}(\eta_0(0) =_0