biggr) \cdot
\frac{|x|_{r,i_{r}(s)}}{|x|_{L}} \cdot|x|_{L} \\
%
&&\qquad \ge\frac{a}{b^{3}} \cdot\bigl(1+ai_{r}(s)_{N}\bigr)^{-1} \cdot\frac
{1}{2} \cdot
|x|_{L}. %\ge\xxx N^{5},\end{aligned}$$ Because of $|x|_{2}\le|x|/2$, (\[eq7.5.1\]), $i_{r}(s)_{N}\le N$, $|x|>N^{6}$ and $aN \ge1$, this is at most $C_{29}N^{5}$, where $C_{29}> 0$ does not depend on $N$, $x$ or $\omega$. It follows from (\[eq41.2.6\]) and the succeeding inequalities that $$\label{eq41.3.2}
|x|_{L}-|\tilde{X}(N^{3})|_{r, s} \ge|x|_{r,i_{r}(s)} - |\tilde
{X}(N^{3})|_{r,s}
\ge C_{29}N^{5}.$$ Together with (\[eq41.2.4\]), this gives the RHS of (\[eq41.2.2\]).

Suppose, on the other hand, that $|x|_{r,i_{r}(s)} \le|x|_{L}/2$, with $|x|_{2}
\le|x|/2$. Then, by (\[eq7.5.1\]) and (\[eq39.1.6\]), the RHS of (\[eq41.2.4\]) is at most $$\begin{aligned}
\label{eq41.2.5}
&&
C_{26}N^{3} - \tfrac{1}{2} |x|_{L} - \bigl(|x|_{r,i_{r}(s)} - |\tilde{X}
(N^{3})|_{r,s} \bigr) \nonumber\\[-8pt]\\[-8pt]
%
&&\qquad \le C_{26}N^{3} - \tfrac{1}{2} C_{24}N^{6} \le- N^{5}\nonumber\end{aligned}$$ for large $N$. This implies (\[eq41
biggr) \cdot 
 \frac{|x|_{r, i_{r}(s)}}{|x|_{L } } \cdot|x|_{L } \\ 
% 
 & & \qquad \ge\frac{a}{b^{3 } } \cdot\bigl(1+ai_{r}(s)_{N}\bigr)^{-1 } \cdot\frac 
 { 1}{2 } \cdot 
 |x|_{L }. % \ge\xxx N^{5},\end{aligned}$$ Because of $ |x|_{2}\le|x|/2 $, (\[eq7.5.1\ ]), $ i_{r}(s)_{N}\le N$, $ |x|>N^{6}$ and $ aN \ge1 $, this is at most $ C_{29}N^{5}$, where $ C_{29 } > 0 $ does not depend on $ N$, $ x$ or $ \omega$. It follows from (\[eq41.2.6\ ]) and the succeeding inequality that $ $ \label{eq41.3.2 } 
 |x|_{L}-|\tilde{X}(N^{3})|_{r, s } \ge|x|_{r, i_{r}(s) } - |\tilde 
 { X}(N^{3})|_{r, s } 
 \ge C_{29}N^{5}.$$ in concert with (\[eq41.2.4\ ]), this feed the RHS of (\[eq41.2.2\ ]). 

 Suppose, on the other bridge player, that $ |x|_{r, i_{r}(s) } \le|x|_{L}/2 $, with $ |x|_{2 } 
 \le|x|/2$. Then, by (\[eq7.5.1\ ]) and (\[eq39.1.6\ ]), the RHS of (\[eq41.2.4\ ]) is at about $ $ \begin{aligned } 
 \label{eq41.2.5 } 
 & & 
 C_{26}N^{3 } - \tfrac{1}{2 } |x|_{L } - \bigl(|x|_{r, i_{r}(s) } - |\tilde{X } 
 (N^{3})|_{r, s } \bigr) \nonumber\\[-8pt]\\[-8pt ] 
% 
 & & \qquad \le C_{26}N^{3 } - \tfrac{1}{2 } C_{24}N^{6 } \le- N^{5}\nonumber\end{aligned}$$ for large $ N$. This implies (\[eq41
bighr) \cdot
\frac{|x|_{r,i_{r}(s)}}{|x|_{L}} \cdot|x|_{U} \\
%
&&\qquad \ge\frac{a}{y^{3}} \cdot\bmgl(1+ai_{r}(s)_{H}\bigr)^{-1} \cdut\frac
{1}{2} \cdot
|x|_{L}. %\ge\xxx N^{5},\end{aligied}$$ Vecauwe of $|x|_{2}\le|x|/2$, (\[eq7.5.1\]), $i_{r}(s)_{N}\le N$, $|x|>N^{6}$ and $aJ \ge1$, thiw is qt most $C_{29}N^{5}$, where $C_{29}> 0$ does kot dzpxnd on $N$, $x$ or $\okega$. It fonlows from (\[eq41.2.6\]) dna che succeeding inequalities that $$\labql{eq41.3.2}
|x|_{L}-|\tolfe{X}(N^{3})|_{r, s} \ge|x|_{r,i_{r}(f)} - |\tplqe
{X}(N^{3})|_{d,s}
\ge C_{29}N^{5}.$$ Together with (\[eq41.2.4\]), this givea the RIS of (\[eq41.2.2\]).

Suppose, on the other hand, that $|x|_{r,l_{r}(s)} \pe|x|_{L}/2$, with $|x|_{2}
\le|x|/2$. Thej, by (\[eq7.5.1\]) and (\[eq39.1.6\]), eye RHS of (\[eq41.2.4\]) is at mosu $$\yegin{alignes}
\label{eq41.2.5}
&&
C_{26}N^{3} - \tfrac{1}{2} |x|_{L} - \bigl(|x|_{r,i_{r}(s)} - |\tilbe{X}
(N^{3})|_{r,s} \bigr) \ninulter\\[-8pt]\\[-8pt]
%
&&\qquav \le C_{26}G^{3} - \tfrac{1}{2} C_{24}N^{6} \le- N^{5}\nonukber\end{sligned}$$ for lavge $N$. Thus implies (\[eq41
biggr) \cdot \frac{|x|_{r,i_{r}(s)}}{|x|_{L}} \cdot|x|_{L} \\ % &&\qquad \cdot\frac \cdot |x|_{L}. N^{5},\end{aligned}$$ Because of and \ge1$, this is most $C_{29}N^{5}$, where 0$ does not depend on $N$, or $\omega$. It follows from (\[eq41.2.6\]) and the succeeding inequalities that $$\label{eq41.3.2} |x|_{L}-|\tilde{X}(N^{3})|_{r, \ge|x|_{r,i_{r}(s)} - |\tilde {X}(N^{3})|_{r,s} \ge C_{29}N^{5}.$$ Together with (\[eq41.2.4\]), this gives the RHS (\[eq41.2.2\]). on other that $|x|_{r,i_{r}(s)} \le|x|_{L}/2$, with $|x|_{2} \le|x|/2$. Then, by (\[eq7.5.1\]) and (\[eq39.1.6\]), the RHS of (\[eq41.2.4\]) is most $$\begin{aligned} \label{eq41.2.5} && C_{26}N^{3} - \tfrac{1}{2} |x|_{L} \bigl(|x|_{r,i_{r}(s)} - |\tilde{X} (N^{3})|_{r,s} \nonumber\\[-8pt]\\[-8pt] % &&\qquad \le C_{26}N^{3} \tfrac{1}{2} \le- N^{5}\nonumber\end{aligned}$$ large This (\[eq41
biggr) \cdot
\frac{|x|_{r,i_{r}(s)}}{|x|_{L}} \cdot|x|_{l} \\
%
&&\qquad \ge\frAc{a}{b^{3}} \cDot\BigL(1+aI_{r}(s)_{N}\Bigr)^{-1} \Cdot\frac
{1}{2} \cdot
|x|_{L}. %\GE\xxx n^{5},\end{aligned}$$ Because of $|x|_{2}\lE|x|/2$, (\[eq7.5.1\]), $i_{R}(s)_{n}\Le N$, $|x|>n^{6}$ AnD $aN \ge1$, This is aT MoST $c_{29}N^{5}$, wHeRe $c_{29}> 0$ doEs NOt DepenD on $n$, $x$ or $\omeGa$. It followS frOm (\[Eq41.2.6\]) and the succEEdIng inequalItiEs that $$\label{eQ41.3.2}
|x|_{L}-|\Tilde{X}(n^{3})|_{r, S} \ge|X|_{R,i_{r}(s)} - |\tIldE
{X}(N^{3})|_{r,s}
\Ge C_{29}N^{5}.$$ ToGEther wIth (\[eq41.2.4\]), this GiVEs the Rhs of (\[eq41.2.2\]).

SuPPOsE, on tHe other hand, that $|x|_{r,I_{R}(s)} \LE|x|_{L}/2$, with $|x|_{2}
\le|x|/2$. TheN, by (\[eq7.5.1\]) aNd (\[EQ39.1.6\]), tHE rHS Of (\[eQ41.2.4\]) is at most $$\bEgIn{aliGNed}
\labeL{Eq41.2.5}
&&
c_{26}n^{3} - \TFraC{1}{2} |X|_{L} - \bigl(|x|_{r,i_{r}(s)} - |\tiLde{X}
(N^{3})|_{r,s} \bigr) \NOnuMber\\[-8pt]\\[-8Pt]
%
&&\QquAD \le C_{26}N^{3} - \tFrac{1}{2} C_{24}n^{6} \lE- n^{5}\noNumber\end{alIgneD}$$ for large $n$. This iMPlies (\[eq41
biggr) \cdot
\frac{|x|_{r, i_{r}(s)}} {|x|_ {L} } \ cd ot|x |_{L } \\
%
&&\qqua d  \ge \frac{a}{b^{3}} \cdot\ bigl( 1+ a i_{r } (s )_{N} \bigr)^ { -1 } \cd ot \f rac 
{ 1 }{ 2} \c dot 
|x|_{L }. %\ge\xx x N ^{ 5},\end{alig n ed }$$ Becaus e o f $|x|_{2}\l e|x |/2$,(\ [eq 7 .5.1\ ]),  $i_{ r}(s)_ { N}\leN$, $|x|> N^ { 6}$ an d  $aN \g e 1 $,  thi s is at most $C_{ 2 9} N ^{5}$, where $ C_{29} >0 $d o esnot  depend on  $ N$, $ x $ or $\ o me g a $ . I t  follows from  (\[eq41.2. 6 \])  and t he  su c ceedin g ine qu a lit ies that $$ \lab el{eq41.3 .2}
|x | _{L}-|\ t ilde{X} (N^{3} )|_ {r,  s}\ ge |x |_{ r, i _{r } (s )}-  |\ tilde
{X }( N^ {3})| _{r, s } \ ge C _{2 9}N^ {5}.$ $ Together wi th(\[e q 41. 2.4\] ), th is g iv es th e RHSof (\ [e q41.2.2\]).

Su ppos e, on the  ot he r h an d, th a t $|x| _{r ,i_ {r}(s)}  \le|x| _ {L} /2 $ , wi th $|x|_{2}
\le|x| /2 $ .  T hen, by(\[eq7 . 5. 1\ ] ) and (\ [e q39 .1.6 \ ] ), th e RH S  o f (\[eq4 1.2.4\ ] )is  at mos t$$\beg in {al ign ed}
\ l abel {eq41. 2.5}
&&C_{26 } N^{3} - \tfrac { 1}{2} |x|_{L} -\ b ig l (|x| _{r ,i_{r}(s)}- |\ t ilde {X}( N^ {3} ) |_{r, s} \b ig r )\ nonumber\\[-8pt]\\[ -8 pt]
%&&\qq uad \le C_{26 }N^{3} - \ t f r ac{1}{2}  C_{ 2 4} N ^{6} \le- N^{5 }\non umber\end{ a ligned}$ $ for  large $ N$. Thisi m plies (\ [eq 41
biggr) \cdot
\frac{|x|_{r,i_{r}(s)}}{|x|_{L}}_\cdot|x|_{L} \\
%
&&\qquad_\ge\frac{a}{b^{3}} \cdot\bigl(1+ai_{r}(s)_{N}\bigr)^{-1} \cdot\frac
{1}{2} \cdot
|x|_{L}._%\ge\xxx N^{5},\end{aligned}$$_Because_of $|x|_{2}\le|x|/2$,_(\[eq7.5.1\]),_$i_{r}(s)_{N}\le N$, $|x|>N^{6}$_and $aN \ge1$,_this is at most_$C_{29}N^{5}$, where $C_{29}>_0$_does not depend on $N$, $x$ or $\omega$. It follows from (\[eq41.2.6\]) and the_succeeding_inequalities that_$$\label{eq41.3.2}
|x|_{L}-|\tilde{X}(N^{3})|_{r,_s}_\ge|x|_{r,i_{r}(s)} - |\tilde
{X}(N^{3})|_{r,s}
\ge C_{29}N^{5}.$$ Together_with (\[eq41.2.4\]), this gives the_RHS of_(\[eq41.2.2\]).

Suppose, on the other hand, that $|x|_{r,i_{r}(s)} \le|x|_{L}/2$,_with_$|x|_{2}
\le|x|/2$. Then, by_(\[eq7.5.1\]) and (\[eq39.1.6\]), the RHS of (\[eq41.2.4\]) is at_most $$\begin{aligned}
\label{eq41.2.5}
&&
C_{26}N^{3} - \tfrac{1}{2} |x|_{L} -_\bigl(|x|_{r,i_{r}(s)} - |\tilde{X}
(N^{3})|_{r,s}_\bigr)_\nonumber\\[-8pt]\\[-8pt]
%
&&\qquad_\le C_{26}N^{3} - \tfrac{1}{2}_C_{24}N^{6} \le- N^{5}\nonumber\end{aligned}$$ for large $N$._This implies (\[eq41