 a contradiction. Hence, the sequence $\iota_n,\iota_{n-1},\ldots,\iota_1$ is non decreasing, and equality cannot occur.

Let us prove that it suffices to choose $\iota_k$ as the smallest in $\eta(n(j_{k-1})\setminus \eta(n(j_k))$. If at step $k$, a smallest $\iota_k$ is not chosen in $\eta(n(j_{k-1})\setminus \eta(n(j_k))$, it will be taken after, and the sequence $\iota_n,\iota_{n-1},\ldots,\iota_1$ will be no more non decreasing, a contradiction.

It remains to prove that $\pi$ is strictly increasing and to verify the expression of $m$. Let us prove by induction that $$\label{eq:pi1}
\pi(j_k)=1-m(\iota_n)-m(\iota_n\vee\iota_{n-1}) - \cdots-
m(\iota_n\vee\cdots\vee \iota_{k+1}),\quad k=n,\ldots,1.$$ We show it for $k=n$. We have $$\pi(j_n)=1-\nu(m_n) = 1-\sum_{\substack{x\leq m_n\\x\in C_\pi}}m(x).$$ Since $\iota_n\not\in\eta(m_n)$, no $x$ in $C_\pi$ can be smaller than $m_n$. Hence $\pi(j_n)=1$. Let us assume (\[eq:pi1\]) is true from $n$ up to some $k$, and prove it is still true for $k-1$. Using (\[eq:proof\]), we have: $$\begin{aligned}
\pi(j_{k-1}) &=1-\nu(m_{k-1}) = 1-\sum_{\substack{x\leq m_{k-1}\\x\in
C_\pi}}m(x) \\ 
& = 1 - \sum_{\substack{x\leq m_{k}\\x\in C_\pi}}m(x) -
m(\iota_n\vee\cdots\vee\iota_k) = \pi(j_k)-m(\iota_n\vee\cdots\vee\iota_k),\end{aligned
a contradiction. Hence, the sequence $ \iota_n,\iota_{n-1},\ldots,\iota_1 $ is non decreasing, and equality cannot occur. 

 lease us rise that it suffices to choose $ \iota_k$ as the smallest in $ \eta(n(j_{k-1})\setminus \eta(n(j_k))$. If at step $ k$, a minor $ \iota_k$ is not chosen in $ \eta(n(j_{k-1})\setminus \eta(n(j_k))$, it will be taken after, and the succession $ \iota_n,\iota_{n-1},\ldots,\iota_1 $ will be no more non decreasing, a contradiction. 

 It remains to prove that $ \pi$ is rigorously increase and to verify the construction of $ m$. Let us prove by generalization that $ $ \label{eq: pi1 } 
 \pi(j_k)=1 - m(\iota_n)-m(\iota_n\vee\iota_{n-1 }) - \cdots- 
 m(\iota_n\vee\cdots\vee \iota_{k+1}),\quad k = n,\ldots,1.$$ We usher it for $ k = n$. We have $ $ \pi(j_n)=1-\nu(m_n) = 1-\sum_{\substack{x\leq m_n\\x\in C_\pi}}m(x).$$ Since $ \iota_n\not\in\eta(m_n)$, no $ x$ in $ C_\pi$ can be smaller than $ m_n$. Hence $ \pi(j_n)=1$. Let us bear (\[eq: pi1\ ]) is true from $ n$ up to some $ k$, and prove it is still on-key for $ k-1$. Using (\[eq: proof\ ]), we have: $ $ \begin{aligned } 
 \pi(j_{k-1 }) & = 1-\nu(m_{k-1 }) = 1-\sum_{\substack{x\leq m_{k-1}\\x\in 
 C_\pi}}m(x) \\ 
 & = 1 - \sum_{\substack{x\leq m_{k}\\x\in C_\pi}}m(x) - 
 m(\iota_n\vee\cdots\vee\iota_k) = \pi(j_k)-m(\iota_n\vee\cdots\vee\iota_k),\end{aligned
 a fontradiction. Hence, the requence $\iota_n,\iota_{n-1},\ldovs,\iota_1$ js non ddcreasing, and equality cannov ocxur.

Leu us prove that it ruffices no choose $\iote_k$ as the smallest in $\eta(n(j_{k-1})\seflinuv \eta(n(j_k))$. If at xtep $k$, a skallest $\iota_k$ hs nlt chosen in $\eta(n(j_{k-1})\setminus \eta(n(j_k))$, yt will bf taken after, wnd uhe seqhvnge $\iota_n,\iota_{n-1},\ldots,\iota_1$ will be nk more ion decreasing, s contradiction.

It remains ho pgove that $\pi$ is stgictly incrgzsigt and to verkfy the exkrzssion of $m$. Let us prove by induction that $$\labek{eq:pi1}
\pi(j_k)=1-m(\uora_n)-l(\hota_n\vee\iote_{n-1}) - \cdjts-
m(\iota_n\vee\gcots\vea \iota_{k+1}),\auad k=n,\ldots,1.$$ Wc shox it for $k=n$. We have $$\pi(j_n)=1-\nn(m_n) = 1-\sum_{\substack{x\leq m_n\\x\in C_\ph}}m(r).$$ Since $\iota_n\not\in\eta(n_n)$, no $x$ in $W_\pi$ zqn ce amellsr thaj $m_i$. Hence $\pi(j_h)=1$. Let us aswume (\[eq:pi1\]) is true ftoi $n$ up to some $k$, and pwove it is still true for $k-1$. Using (\[eq:promf\]), se have: $$\begin{aligned}
\pi(j_{j-1}) &=1-\nu(m_{k-1}) = 1-\sum_{\substack{x\lgq m_{k-1}\\x\in
C_\py}}m(x) \\ 
& = 1 - \sum_{\substack{x\leq m_{k}\\x\in C_\pi}}m(x) -
m(\iota_n\vee\cdods\vee\moga_k) = \ii(j_k)-o(\uoha_n\vee\cdots\vee\iota_k),\end{aligned
a contradiction. Hence, the sequence $\iota_n,\iota_{n-1},\ldots,\iota_1$ is and cannot occur. us prove that as smallest in $\eta(n(j_{k-1})\setminus If at step a smallest $\iota_k$ is not chosen $\eta(n(j_{k-1})\setminus \eta(n(j_k))$, it will be taken after, and the sequence $\iota_n,\iota_{n-1},\ldots,\iota_1$ will be more non decreasing, a contradiction. It remains to prove that $\pi$ is strictly and verify expression $m$. Let us prove by induction that $$\label{eq:pi1} \pi(j_k)=1-m(\iota_n)-m(\iota_n\vee\iota_{n-1}) - \cdots- m(\iota_n\vee\cdots\vee \iota_{k+1}),\quad k=n,\ldots,1.$$ We show for $k=n$. We have $$\pi(j_n)=1-\nu(m_n) = 1-\sum_{\substack{x\leq m_n\\x\in Since $\iota_n\not\in\eta(m_n)$, no $x$ $C_\pi$ can be smaller than Hence Let us (\[eq:pi1\]) true $n$ up to $k$, and prove it is still true for $k-1$. Using (\[eq:proof\]), we have: $$\begin{aligned} \pi(j_{k-1}) &=1-\nu(m_{k-1}) = m_{k-1}\\x\in C_\pi}}m(x) = 1 \sum_{\substack{x\leq C_\pi}}m(x) m(\iota_n\vee\cdots\vee\iota_k) = \pi(j_k)-m(\iota_n\vee\cdots\vee\iota_k),\end{aligned
 a contradiction. Hence, the seqUence $\iota_n,\Iota_{n-1},\LdoTs,\iOtA_1$ is nOn deCreasing, and equALity Cannot occur.

Let us prove tHat it SuFFiceS To ChoosE $\iota_k$ aS ThE SMalLeSt In $\eTa(N(J_{k-1})\SetmiNus \Eta(n(j_k))$. IF at step $k$, a sMalLeSt $\iota_k$ is not CHoSen in $\eta(n(j_{K-1})\seTminus \eta(n(j_k))$, It wIll be tAkEn aFTer, anD thE sequEnce $\ioTA_n,\iota_{N-1},\ldots,\iotA_1$ wILl be no MOre non dECReAsinG, a contradiction.

It REmAIns to prove that $\Pi$ is stRiCTlY INcrEasIng and to veRiFy the EXpressiON oF $M$. lEt uS Prove by inductIon that $$\labeL{Eq:pI1}
\pi(j_k)=1-m(\IoTa_n)-M(\Iota_n\vEe\iotA_{n-1}) - \CDotS-
m(\iota_n\vee\cDots\Vee \iota_{k+1}),\qUad k=n,\lDOts,1.$$ We shOW it for $k=N$. We havE $$\pi(J_n)=1-\nU(m_n) = 1-\sUM_{\sUbStaCk{X\Leq M_N\\x\In C_\PI}}m(x).$$ since $\iotA_n\NoT\in\etA(m_n)$, nO $X$ IN $c_\pi$ cAn bE smaLler tHan $m_n$. Hence $\pi(j_N)=1$. LeT us aSSumE (\[eq:pi1\]) Is truE froM $n$ Up to sOme $k$, anD provE iT is still true for $K-1$. UsiNg (\[eq:proof\]), We hAvE: $$\beGiN{aligNEd}
\pi(j_{k-1}) &=1-\Nu(m_{K-1}) = 1-\suM_{\substaCk{x\leq m_{K-1}\\X\in
c_\pI}}M(X) \\ 
& = 1 - \SuM_{\substack{x\leq m_{k}\\x\in c_\pI}}M(X) -
m(\Iota_n\vee\Cdots\vEE\iOtA_K) = \pi(j_k)-m(\ioTa_N\veE\cdoTS\Vee\ioTa_k),\eND{aLigned
 a contradiction. Hence, t he sequenc e $\i ota _n, \i ota_ {n-1 },\ldots,\iota _ 1$ i s non decreasing, andequal it y  can n ot  occu r.

Let us p rov eth atit su ffice s t o choos e $\iota_k $ a sthe smallest in  $\eta(n(j _{k -1})\setminu s \ eta(n( j_ k)) $ . Ifatstep$k$, a smalle st $\iota _k $  is no t  chosen i n$\et a(n(j_{k-1})\setm i nu s  \eta(n(j_k))$ , it w il l  b e tak enafter, and  t he se q uence $ \ io t a _ n,\ i ota_{n-1},\ld ots,\iota_1 $  wi ll beno  mo r e nondecre as i ng,  a contradi ctio n.

It re mainst o prove that $\ pi$ is  st ric tlyi nc re asi ng and to  ve r ify  the exp re ss ion o f $m $ . L et u s p rove  by i nduction that  $$ \lab e l{e q:pi1 }
\pi (j_k )= 1-m(\ iota_n )-m(\ io ta_n\vee\iota_{ n-1} ) - \cdot s-m( \io ta _n\ve e \cdots \ve e \ iota_{k +1}),\q u adk= n , \ ld ots,1.$$ We show i tf o r$k=n$. W e have $$ \p i (j_n)=1- \n u(m _n)= 1-\su m_{\ s ub stack{x\ leq m_ n \\ x\ in C_\p i} }m(x). $$  Si nce  $\io t a_n\ not\in \eta(m_n )$, n o  $x$ in $C_\pi $  can be small e rt h an $m_n $.Hence $\pi( j_n) = 1$.Letu sass u me (\ [eq:p i1 \ ]) is true from $n$ up  t o some  $k$,  and prove it  is stillt r u e for $k -1$. Us i ng (\[eq:proof \]),we have: $ $ \begin{a ligne d}
\pi(j _{k-1}) & = 1 -\nu(m_{ k-1 })= 1 -\s u m _{ \substack{x\l e q  m_{ k- 1}\\x\i n
C _\pi}}m (x)  \\  
&  =1- \sum_{\ substack {x \l eq  m _{k }\\x\ i n C_\pi} }m (x)  - 
m( \iota _ n\vee\ cdots \vee \i ot a _k)  = \pi( j _k ) - m(\i ot a_ n\ve e\c do ts\ve e\io t a_k ),\end{ aligned
 a_contradiction. Hence,_the sequence $\iota_n,\iota_{n-1},\ldots,\iota_1$ is_non decreasing,_and_equality cannot_occur.

Let_us prove that_it suffices to_choose $\iota_k$ as the_smallest in $\eta(n(j_{k-1})\setminus_\eta(n(j_k))$._If at step $k$, a smallest $\iota_k$ is not chosen in $\eta(n(j_{k-1})\setminus \eta(n(j_k))$, it_will_be taken_after,_and_the sequence $\iota_n,\iota_{n-1},\ldots,\iota_1$ will be_no more non decreasing, a_contradiction.

It remains_to prove that $\pi$ is strictly increasing and_to_verify the expression_of $m$. Let us prove by induction that $$\label{eq:pi1}
\pi(j_k)=1-m(\iota_n)-m(\iota_n\vee\iota_{n-1})_- \cdots-
m(\iota_n\vee\cdots\vee \iota_{k+1}),\quad k=n,\ldots,1.$$ We show_it for $k=n$._We_have_$$\pi(j_n)=1-\nu(m_n) = 1-\sum_{\substack{x\leq m_n\\x\in_C_\pi}}m(x).$$ Since $\iota_n\not\in\eta(m_n)$, no $x$ in_$C_\pi$ can be smaller than $m_n$._Hence $\pi(j_n)=1$. Let us assume (\[eq:pi1\]) is_true from $n$ up to some_$k$, and prove it is_still true_for $k-1$. Using (\[eq:proof\]), we_have: $$\begin{aligned}
\pi(j_{k-1}) &=1-\nu(m_{k-1})_= 1-\sum_{\substack{x\leq_m_{k-1}\\x\in
C_\pi}}m(x) \\ 
&_= 1 - \sum_{\substack{x\leq m_{k}\\x\in C_\pi}}m(x)_-
m(\iota_n\vee\cdots\vee\iota_k) = \pi(j_k)-m(\iota_n\vee\cdots\vee\iota_k),\end{aligned