2 \neq i,\i,j_1}} \Bigg( \frac{\exp(\ltheta_{j_2})}{\widetilde{W}-\exp(\ltheta_{j_1})-\exp(\ltheta_{j_2})}\cdots \nonumber\\
&& \sum_{\substack{j_{\ell-1} \in S \\ j_{\ell-1} \neq i,\i, \\ j_1,\cdots,j_{\ell-2}}} \Bigg( \frac{\exp(\ltheta_{j_{\ell-1}})}{\widetilde{W}-\sum_{k=j_1}^{j_{\ell-1}}\exp(\ltheta_{k})} \Bigg)\Bigg)\Bigg) \nonumber\\
&\geq&  \frac{e^{-4b} \exp(\ltheta_i)}{\widetilde{W}}  \sum_{\substack{j_1 \in S \\ j_1 \neq i,\i}} \Bigg( \frac{\exp(\ltheta_{j_1})}{\widetilde{W}-\exp(\ltheta_{j_1})} \sum_{\substack{j_2 \in S \\ j_2 \neq i,\i,j_1}} \Bigg( \frac{\exp(\ltheta_{j_2})}{\widetilde{W}-\exp(\ltheta_{j_1})-\exp(\ltheta_{j_2})}\cdots \nonumber\\
&& \sum_{\substack{j_{\ell-1} \in S \\ j_{\ell-1} \neq i,\i, \\j_1,\cdots,j_{\ell-2}}} \Bigg( \frac{\exp(\ltheta_{j_{\ell-1}})}{\widetilde{W}-\sum_{k=j_1}^{j_{\ell-1}}\exp(\ltheta_{k})} \Bigg)\Bigg)\Bigg)\nonumber\\
&=& \big(e^{-4b}\big) \P_{\ltheta}\Big[\sigma^{-1}(i) = \ell, \sigma^{-1}(\i) > \ell \Big] \;.\end{aligned}$$ The second inequality uses $\frac{\exp(\theta_i)}{W} \geq e^{-2b}/\kappa$ and $\frac{\exp(\ltheta_i)}{\widetilde{W}} \leq e^{2b}/\kappa$. Observe that $\exp(\ltheta_j) = 1$ for all $j \neq i,\i$ and $\exp(\l
2 \neq i,\i, j_1 } } \Bigg (\frac{\exp(\ltheta_{j_2})}{\widetilde{W}-\exp(\ltheta_{j_1})-\exp(\ltheta_{j_2})}\cdots \nonumber\\ 
 & & \sum_{\substack{j_{\ell-1 } \in S \\ j_{\ell-1 } \neq i,\i, \\ j_1,\cdots, j_{\ell-2 } } } \Bigg (\frac{\exp(\ltheta_{j_{\ell-1}})}{\widetilde{W}-\sum_{k = j_1}^{j_{\ell-1}}\exp(\ltheta_{k }) } \Bigg)\Bigg)\Bigg) \nonumber\\ 
 & \geq &   \frac{e^{-4b } \exp(\ltheta_i)}{\widetilde{W } }   \sum_{\substack{j_1 \in S \\ j_1 \neq i,\i } } \Bigg (\frac{\exp(\ltheta_{j_1})}{\widetilde{W}-\exp(\ltheta_{j_1 }) } \sum_{\substack{j_2 \in S \\ j_2 \neq i,\i, j_1 } } \Bigg (\frac{\exp(\ltheta_{j_2})}{\widetilde{W}-\exp(\ltheta_{j_1})-\exp(\ltheta_{j_2})}\cdots \nonumber\\ 
 & & \sum_{\substack{j_{\ell-1 } \in S \\ j_{\ell-1 } \neq i,\i, \\j_1,\cdots, j_{\ell-2 } } } \Bigg (\frac{\exp(\ltheta_{j_{\ell-1}})}{\widetilde{W}-\sum_{k = j_1}^{j_{\ell-1}}\exp(\ltheta_{k }) } \Bigg)\Bigg)\Bigg)\nonumber\\ 
 & = & \big(e^{-4b}\big) \P_{\ltheta}\Big[\sigma^{-1}(i) = \ell, \sigma^{-1}(\i) > \ell \Big ] \;.\end{aligned}$$ The second inequality uses $ \frac{\exp(\theta_i)}{W } \geq e^{-2b}/\kappa$ and $ \frac{\exp(\ltheta_i)}{\widetilde{W } } \leq e^{2b}/\kappa$. Observe that $ \exp(\ltheta_j) = 1 $ for all $ j \neq i,\i$ and $ \exp(\l
2 \nee i,\i,j_1}} \Bigg( \frac{\exp(\ltheta_{m_2})}{\widetilde{W}-\exp(\ltkwta_{j_1})-\ex'(\ltheta_{n_2})}\cdots \nunumber\\
&& \sum_{\substack{j_{\ell-1} \in S \\ h_{\ell-1} \beq i,\i, \\ j_1,\cdots,j_{\ell-2}}} \Bige( \frac{\exp(\ptheta_{j_{\eol-1}})}{\wivetilde{W}-\sum_{k=j_1}^{j_{\ell-1}}\exp(\lthebc_{k})} \Bifn)\Bigg)\Yijg) \nonumber\\
&\geq&  \frac{e^{-4b} \ex[(\ltheta_i)}{\widetindd{W}}  \sum_{\substack{j_1 \in S \\ j_1 \neq i,\i}} \Bigg( \srac{\exp(\ktjeta_{j_1})}{\widetilde{R}-\exp(\kehetz_{j_1})} \sum_{\substack{j_2 \in S \\ j_2 \neq i,\i,j_1}} \Bifg( \frac{\txp(\ltheta_{j_2})}{\widetildr{W}-\exp(\ltheta_{j_1})-\exp(\ltheta_{j_2})}\cdotd \nojumber\\
&& \sum_{\substack{u_{\ell-1} \in S \\ h_{\ell-1} \beq i,\i, \\j_1,\cdotr,j_{\ell-2}}} \Bigg( \frac{\exp(\ltheja_{j_{\ell-1}})}{\widetilde{W}-\sum_{k=j_1}^{j_{\ell-1}}\exp(\lthega_{k})} \Bngg)\Bigg)\Bigg)\bobumhgr\\
&=& \big(e^{-4b}\big) \'_{\lthetw}\Big[\sigma^{-1}(i) = \ckl, \sigka^{-1}(\i) > \elk \Big] \;.\end{aligncd}$$ Thx sexond inequality uses $\hrac{\exp(\theta_i)}{W} \geq e^{-2f}/\kappa$ ang $\yrac{\exp(\ltheta_i)}{\widetilee{Q}} \leq e^{2b}/\kdppa$. Ibsdrvt tiat $\exp(\ltjete_j) = 1$ for alm $j \neq i,\i$ qnd $\exp(\l
2 \neq i,\i,j_1}} \Bigg( \frac{\exp(\ltheta_{j_2})}{\widetilde{W}-\exp(\ltheta_{j_1})-\exp(\ltheta_{j_2})}\cdots \nonumber\\ && S j_{\ell-1} \neq \\ j_1,\cdots,j_{\ell-2}}} \Bigg( \exp(\ltheta_i)}{\widetilde{W}} \in S \\ \neq i,\i}} \Bigg( \sum_{\substack{j_2 \in S \\ j_2 \neq \Bigg( \frac{\exp(\ltheta_{j_2})}{\widetilde{W}-\exp(\ltheta_{j_1})-\exp(\ltheta_{j_2})}\cdots \nonumber\\ && \sum_{\substack{j_{\ell-1} \in S \\ j_{\ell-1} \neq i,\i, \\j_1,\cdots,j_{\ell-2}}} \Bigg( \Bigg)\Bigg)\Bigg)\nonumber\\ &=& \big(e^{-4b}\big) \P_{\ltheta}\Big[\sigma^{-1}(i) = \ell, \sigma^{-1}(\i) > \ell \Big] \;.\end{aligned}$$ The second uses \geq and \leq e^{2b}/\kappa$. Observe that $\exp(\ltheta_j) = 1$ for all $j \neq i,\i$ and $\exp(\l
2 \neq i,\i,j_1}} \Bigg( \frac{\exp(\ltheta_{j_2})}{\wIdetilde{W}-\eXp(\lthEta_{J_1})-\exP(\lThetA_{j_2})}\cdOts \nonumber\\
&& \sum_{\SUbstAck{j_{\ell-1} \in S \\ j_{\ell-1} \neq i,\i, \\ j_1,\cdOts,j_{\eLl-2}}} \bIgg( \fRAc{\Exp(\ltHeta_{j_{\elL-1}})}{\WiDETilDe{w}-\sUm_{k=J_1}^{j_{\ELl-1}}\Exp(\ltHetA_{k})} \Bigg)\BIgg)\Bigg) \nonUmbEr\\
&\Geq&  \frac{e^{-4b} \exp(\LThEta_i)}{\widetiLde{w}}  \sum_{\substack{J_1 \in s \\ j_1 \neq i,\I}} \BIgg( \FRac{\exP(\ltHeta_{j_1})}{\WidetiLDe{W}-\exp(\Ltheta_{j_1})} \suM_{\sUBstack{J_2 \In S \\ j_2 \neq I,\I,J_1}} \BIgg( \fRac{\exp(\ltheta_{j_2})}{\wideTIlDE{W}-\exp(\ltheta_{j_1})-\exP(\lthetA_{j_2})}\CDoTS \NonUmbEr\\
&& \sum_{\substAcK{j_{\ell-1} \IN S \\ j_{\ell-1} \nEQ i,\I, \\J_1,\CDotS,J_{\ell-2}}} \Bigg( \frac{\eXp(\ltheta_{j_{\elL-1}})}{\WidEtilde{w}-\sUm_{k=J_1}^{J_{\ell-1}}\exP(\ltheTa_{K})} \bigG)\Bigg)\Bigg)\noNumbEr\\
&=& \big(e^{-4b}\biG) \P_{\ltheTA}\Big[\sigMA^{-1}(i) = \ell, \siGma^{-1}(\i) > \elL \BiG] \;.\enD{aliGNeD}$$ THe sEcONd iNEqUalITy uSes $\frac{\eXp(\ThEta_i)}{W} \Geq e^{-2B}/\KAPPa$ anD $\frAc{\exP(\ltheTa_i)}{\widetilde{W}} \Leq E^{2b}/\kaPPa$. OBservE that $\Exp(\lThEta_j) = 1$ fOr all $j \Neq i,\i$ AnD $\exp(\l
2 \neq i,\i,j_1}} \Bigg( \ frac{\exp( \lthe ta_ {j_ 2} )}{\ wide tilde{W}-\exp( \ lthe ta_{j_1})-\exp(\ltheta _{j_2 }) } \cdo t s\nonu mber\\& &\ s um_ {\ su bst ac k {j _{\el l-1 } \in S  \\ j_{\el l-1 }\neq i,\i, \ \  j _1,\cdots, j_{ \ell-2}}} \B igg ( \fra c{ \ex p (\lth eta _{j_{ \ell-1 } })}{\w idetilde{ W} - \sum_{ k =j_1}^{ j _ {\ ell- 1}}\exp(\ltheta_{ k }) }  \Bigg)\Bigg)\ Bigg)\n o nu m b er\ \
& \geq&  \fr ac {e^{- 4 b} \exp ( \l t h e ta_ i )}{\widetilde {W}}  \sum_ { \su bstack {j _1\ in S \ \ j_1  \ n eqi,\i}} \Big g( \ frac{\exp (\lthe t a_{j_1} ) }{\wide tilde{ W}- \ex p(\l t he ta _{j _1 } )}\ su m_{ \ sub stack{j_ 2\i n S \ \ j_ 2 \ n eq i ,\i ,j_1 }} \B igg( \frac{\e xp( \lth e ta_ {j_2} )}{\w idet il de{W} -\exp( \lthe ta _{j_1})-\exp(\l thet a_{j_2})} \cd ot s \ no numbe r \\
&&\su m_{ \substa ck{j_{\ e ll- 1} \ i nS \\ j_{\ell-1} \n eq i ,\ i, \\j_1 ,\cdot s ,j _{ \ ell-2}}}  \ Big g( \ f r ac{\e xp(\ l th eta_{j_{ \ell-1 } }) }{ \wideti ld e{W}-\ su m_{ k=j _1}^{ j _{\e ll-1}} \exp(\lt heta_ { k})} \Bigg)\Bi g g)\Bigg)\nonu m be r \ \& =& \ big (e^{-4b}\bi g) \ P _{\l thet a }\ Big [ \sigm a^{-1 }( i )=  \ell, \sigma^{-1}( \i ) > \e ll \B ig] \;.\end{a ligned}$$T h e  secondineq u al i ty uses $\frac {\exp (\theta_i) } {W} \geq  e^{- 2b}/\kap pa$ and $ \ f rac{\exp (\l the ta_ i)} { \ wi detilde{W}} \ l e q e^ {2 b}/\kap pa$ . Obser vetha t $ \ex p( \ltheta_j ) = 1$ f or  a ll  $ j \ neq i , \i$ and$\ exp (\ l
2 \neq_i,\i,j_1}} \Bigg(_\frac{\exp(\ltheta_{j_2})}{\widetilde{W}-\exp(\ltheta_{j_1})-\exp(\ltheta_{j_2})}\cdots \nonumber\\
&& \sum_{\substack{j_{\ell-1} \in_S \\_j_{\ell-1}_\neq i,\i,_\\_j_1,\cdots,j_{\ell-2}}} \Bigg( \frac{\exp(\ltheta_{j_{\ell-1}})}{\widetilde{W}-\sum_{k=j_1}^{j_{\ell-1}}\exp(\ltheta_{k})}_\Bigg)\Bigg)\Bigg) \nonumber\\
&\geq& _\frac{e^{-4b} \exp(\ltheta_i)}{\widetilde{W}}  \sum_{\substack{j_1_\in S \\_j_1_\neq i,\i}} \Bigg( \frac{\exp(\ltheta_{j_1})}{\widetilde{W}-\exp(\ltheta_{j_1})} \sum_{\substack{j_2 \in S \\ j_2 \neq i,\i,j_1}} \Bigg( \frac{\exp(\ltheta_{j_2})}{\widetilde{W}-\exp(\ltheta_{j_1})-\exp(\ltheta_{j_2})}\cdots \nonumber\\
&&_\sum_{\substack{j_{\ell-1}_\in S_\\_j_{\ell-1}_\neq i,\i, \\j_1,\cdots,j_{\ell-2}}} \Bigg( \frac{\exp(\ltheta_{j_{\ell-1}})}{\widetilde{W}-\sum_{k=j_1}^{j_{\ell-1}}\exp(\ltheta_{k})}_\Bigg)\Bigg)\Bigg)\nonumber\\
&=& \big(e^{-4b}\big) \P_{\ltheta}\Big[\sigma^{-1}(i) = \ell,_\sigma^{-1}(\i) >_\ell \Big] \;.\end{aligned}$$ The second inequality uses $\frac{\exp(\theta_i)}{W}_\geq_e^{-2b}/\kappa$ and $\frac{\exp(\ltheta_i)}{\widetilde{W}}_\leq e^{2b}/\kappa$. Observe that $\exp(\ltheta_j) = 1$ for all_$j \neq i,\i$ and $\exp(\l