 for us to move forward. This approach for initial setups is easier, and leads to the desired asymptotic measure estimate on $\Delta$ as $L\to\infty$.

We move to the expanding property of the maps corresponding to parameters in $\Delta_{N}$. We frequently use the following notation: for $c\in C$ and $n\geq1$, $c_0=fc$ and $c_n=f^nc_0$: for $x\in S^1$ and $n\geq1$, $J(x)=|f'x|$ and $J^n(x)=J(x)J(fx)\cdots J(f^{n-1}x)$.

Let $\alpha=10^{-6}$ and $\delta = L^{-\alpha N}$. In what follows, we suppose $N$ to be a large integer for which $\delta\ll\sigma$, and the conclusion of Lemma \[initial-1\] holds. The value of $N$ will be replaced if necessary, but only a finite number of times. The letter $K$ will be used to denote generic constants which are independent of $N$ and $L$.

The next lemma, the proof of which is given in Appendix, ensures an exponential growth of derivatives for orbit segments lying outside of $C_{\delta}$.

\[outside\] There exists $L_1\geq L_0$ such that if $L\geq L_1$ and $f = f_{a}$ is such that $a \in \Delta_{N}(L)$, then the following holds:

-   if $n\geq1$ and $x$, $fx,\cdots, f^{n-1}x\notin C_{\delta}$, then $J^{n}(x)\geq \delta L^{2\lambda n}$;

-   if moreover $f^nx\in C_{\delta}$, then $J^{n}(x) \geq
    L^{2 \lambda n}$.

[*Standing assumption for the rest of this section:  $L\geq L_1$ and $a \in \Delta_{N}$.*]{}

Recovering expansion {#s2.3}
--------------------

For $f = f_a$, $c \in C$ and $n>N$ we introduce three conditions:

-   $J^{j-i}(c_i)\geq L \min
for us to move forward. This approach for initial setups is easy, and go to the desired asymptotic measure estimate on $ \Delta$ as $ L\to\infty$. 

 We go to the expanding property of the function represent to parameters in $ \Delta_{N}$. We frequently practice the following note: for $ c\in C$ and $ n\geq1 $, $ c_0 = fc$ and $ c_n = f^nc_0 $: for $ x\in S^1 $ and $ n\geq1 $, $ J(x)=|f'x|$ and $ J^n(x)=J(x)J(fx)\cdots J(f^{n-1}x)$. 

 Let $ \alpha=10^{-6}$ and $ \delta = L^{-\alpha N}$. In what follows, we presuppose $ N$ to be a large integer for which $ \delta\ll\sigma$, and the conclusion of Lemma \[initial-1\ ] holds. The value of $ N$ will be replace if necessary, but only a finite number of times. The letter $ K$ will be used to denote generic constant which are independent of $ N$ and $ L$. 

 The next lemma, the proof of which is give in Appendix, ensures an exponential growth of derivatives for orbit section lying outside of $ C_{\delta}$. 

 \[outside\ ] There exists $ L_1\geq L_0 $ such that if $ L\geq L_1 $ and $ f = f_{a}$ is such that $ a \in \Delta_{N}(L)$, then the following holds: 

 -    if $ n\geq1 $ and $ x$, $ fx,\cdots, f^{n-1}x\notin C_{\delta}$, then $ J^{n}(x)\geq \delta L^{2\lambda n}$; 

 -    if furthermore $ f^nx\in C_{\delta}$, then $ J^{n}(x) \geq 
     L^{2 \lambda n}$. 

 [ * Standing assumption for the rest of this section:   $ L\geq L_1 $ and $ a \in \Delta_{N}$. * ] { } 

 Recovering expansion { # s2.3 } 
 -------------------- 

 For $ f = f_a$, $ c \in C$ and $ n > N$ we precede three condition: 

 -    $ J^{j - i}(c_i)\geq L \min
 fog us to move forward. Thir approach for nbitial setupa is easker, and leads to the desired awymptitic measure estimate un $\Delta$ ws $L\to\indty$.

Wt move to the expehding pvjperfn of chx maps correspokding to pasameters in $\Dentx_{N}$. We frequently use the following noeation: gog $c\in C$ and $n\ggq1$, $c_0=fb$ wnd $d_n=f^nc_0$: for $x\in S^1$ and $n\geq1$, $J(x)=|f'x|$ and $N^n(x)=J(x)J(fq)\cdots J(f^{n-1}x)$.

Let $\allha=10^{-6}$ and $\delta = L^{-\alpha N}$. In whah follows, we suppode $N$ to be q lawte integer fur which $\dtlca\ll\sigma$, ahd the conclusion of Lemma \[initkal-1\] hplds. The vqlye lx $N$ will be replwced if necessary, bud only s finite numbev of vimew. The letter $K$ will bx used to denote gengric constdncs which are independwnr of $T$ ang $L$.

Tfw ndxt lxmmz, the orokf of whicg is given un Appendix, ensures ag exponential frowth os derivatives for orbit segments lying mutaide of $C_{\delta}$.

\[outside\] Tyere exists $L_1\geq L_0$ sufh that is $L\geq L_1$ and $f = f_{a}$ is such that $a \in \Delta_{N}(L)$, then the houloclkg huodd:

-   if $n\geq1$ and $x$, $fx,\cdots, f^{n-1}x\notin C_{\delta}$, theg $J^{m}(x)\neq \delta L^{2\lambdc n}$;

-   if moreovet $v^nc\yn C_{\delta}$, thev $J^{n}(x) \ysq
    L^{2 \lambda n}$.

[*Stanfing asfumptuon for tre rrst of this section:  $L\geq L_1$ qnd $a \in \Delna_{N}$.*]{}

Rwcovering expansiou {#s2.3}
--------------------

For $f = f_a$, $c \im C$ amd $n>N$ we introduce threz condjtions:

-   $J^{j-l}(c_i)\geq L \jkn
for us to move forward. This approach setups easier, and to the desired as We move to expanding property of maps corresponding to parameters in $\Delta_{N}$. frequently use the following notation: for $c\in C$ and $n\geq1$, $c_0=fc$ and $c_n=f^nc_0$: $x\in S^1$ and $n\geq1$, $J(x)=|f'x|$ and $J^n(x)=J(x)J(fx)\cdots J(f^{n-1}x)$. Let $\alpha=10^{-6}$ and $\delta = N}$. what we $N$ to be a large integer for which $\delta\ll\sigma$, and the conclusion of Lemma \[initial-1\] holds. value of $N$ will be replaced if necessary, only a finite number times. The letter $K$ will used denote generic which independent $N$ and $L$. next lemma, the proof of which is given in Appendix, ensures an exponential growth of derivatives for segments lying $C_{\delta}$. \[outside\] exists L_0$ that if $L\geq $f = f_{a}$ is such that then the following holds: - if $n\geq1$ and $fx,\cdots, f^{n-1}x\notin then $J^{n}(x)\geq \delta L^{2\lambda n}$; - moreover $f^nx\in C_{\delta}$, then $J^{n}(x) \geq L^{2 \lambda [*Standing assumption for the rest of this section: $L\geq L_1$ and $a \in \Delta_{N}$.*]{} Recovering -------------------- For $f = $c \in C$ $n>N$ introduce conditions: $J^{j-i}(c_i)\geq L
 for us to move forward. This appRoach for inItial SetUps Is EasiEr, anD leads to the desIRed aSymptotic measure estimaTe on $\DElTA$ as $L\TO\iNfty$.

WE move to THe EXPanDiNg ProPeRTy Of the MapS corresPonding to pAraMeTers in $\Delta_{N}$. wE fRequently uSe tHe following nOtaTion: foR $c\In C$ ANd $n\geQ1$, $c_0=fC$ and $c_N=f^nc_0$: foR $X\in S^1$ anD $n\geq1$, $J(x)=|f'x|$ AnD $j^n(x)=J(x)J(FX)\cdots J(F^{N-1}X)$.

LEt $\alPha=10^{-6}$ and $\delta = L^{-\alpha n}$. in WHat follows, we suPpose $N$ To BE a LARge IntEger for whiCh $\Delta\LL\sigma$, aND tHE COncLUsion of Lemma \[iNitial-1\] holds. tHe vAlue of $n$ wIll BE replaCed if NeCEssAry, but only a FiniTe number oF times. tHe letteR $k$ will be Used to DenOte GeneRIc CoNstAnTS whICh Are INdePendent oF $N$ AnD $L$.

The Next LEMMA, the ProOf of Which Is given in AppeNdiX, ensURes An expOnentIal gRoWth of DerivaTives FoR orbit segments lYing Outside of $c_{\deLtA}$.

\[ouTsIde\] ThERe exisTs $L_1\Geq l_0$ such thAt if $L\geQ l_1$ anD $f = F_{A}$ IS sUch that $a \in \Delta_{N}(L)$, tHeN THe FollowinG holds:

-   IF $n\GeQ1$ And $x$, $fx,\cdOtS, f^{n-1}X\notIN c_{\deltA}$, theN $j^{n}(X)\geq \deltA L^{2\lambDA n}$;

-   If MoreoveR $f^Nx\in C_{\dElTa}$, tHen $j^{n}(x) \geQ
    l^{2 \lamBda n}$.

[*StAnding asSumptIOn for the rest of THis section:  $L\geQ l_1$ aND $A \iN \deltA_{N}$.*]{}

REcovering exPansIOn {#s2.3}
--------------------

FOr $f = f_A$, $C \iN C$ aND $n>N$ we IntroDuCE tHRee conditions:

-   $J^{j-i}(c_i)\gEq l \min
 for us to move forward. T his approa ch fo r i nit ia l se tups  is easier, an d  lea ds to the desired asym ptoti cm easu r eestim ate on$ \D e l ta$  a s$L\ to \ in fty$. 

W e moveto the exp and in g property o f  t he maps co rre sponding topar ameter sin$ \Delt a_{ N}$.We fre q uently  use thefo l lowing notatio n :  f or $ c\in C$ and $n\ge q 1$ ,  $c_0=fc$ and$c_n=f ^n c _0 $ :  fo r $ x\in S^1$an d $n\ g eq1$, $ J (x ) = | f'x | $ and $J^n(x) =J(x)J(fx)\ c dot s J(f^ {n -1} x )$.

L et $\ al p ha= 10^{-6}$ an d $\ delta = L ^{-\al p ha N}$. In what  follo ws,  we  sup p os e$N$  t o  be alar g e i nteger f or  w hich$\de l t a \ ll\s igm a$,and t he conclusion  of  Lem m a \ [init ial-1 \] h ol ds. T he val ue of  $ N$ will be repl aced  if neces sar y,  bu tonlya  finit e n umb er of t imes. T h e l et t e r  $ K$ will be used to  d e n ot e generi c cons t an ts which ar eind epen d e nt of  $N$ an d $L$.
The ne x tle mma, th eproofof  wh ich  is g i venin App endix, e nsure s  an exponentia l  growth of de r iv a t iv e s fo r o rbit segmen ts l y ingouts i de  of $C_{\ delta }$ . 
\ [outside\] There ex is ts $L_ 1\geq  L_0$ such th at if $L\g e q L_1$ and  $f=  f _ {a}$ is such t hat $ a \in \Del t a_{N}(L) $, th en the f ollowingh o lds:

-  i f $ n\g eq1 $ an d $x$, $fx,\c d o ts,f^ {n-1}x\ not in C_{\ del ta} $,the n$J^{n}(x) \geq \de lt aL^ {2 \la mbdan }$;

-  i f m or eov er $f ^ nx\inC_{\d elta }$ ,t hen  $J^{n} ( x) \ geq  L^{2  \l am bda n }$.[*S tanding  assumpti onf or t he  r est ofthis section:  $L\geq L_1 $and  $a \i n \Delta_{ N}$.*]{}

Recovering ex p ansion{#s 2.3}---- --------- --- ----
For $f = f _a$, $ c \in  C $ a n d  $n>N $ we  in tr oduce thre e con ditio ns :

-    $J^{ j-i}(c_i)\geq L \m i n
 for_us to_move forward. This approach_for initial_setups_is easier,_and_leads to the_desired asymptotic measure_estimate on $\Delta$ as_$L\to\infty$.

We move to_the_expanding property of the maps corresponding to parameters in $\Delta_{N}$. We frequently use the_following_notation: for_$c\in_C$_and $n\geq1$, $c_0=fc$ and $c_n=f^nc_0$:_for $x\in S^1$ and $n\geq1$,_$J(x)=|f'x|$ and_$J^n(x)=J(x)J(fx)\cdots J(f^{n-1}x)$.

Let $\alpha=10^{-6}$ and $\delta = L^{-\alpha N}$._In_what follows, we_suppose $N$ to be a large integer for which_$\delta\ll\sigma$, and the conclusion of Lemma_\[initial-1\] holds. The_value_of_$N$ will be replaced_if necessary, but only a finite_number of times. The letter $K$_will be used to denote generic constants_which are independent of $N$ and_$L$.

The next lemma, the proof_of which_is given in Appendix, ensures_an exponential growth_of derivatives_for orbit segments_lying outside of $C_{\delta}$.

\[outside\] There exists_$L_1\geq L_0$ such_that if $L\geq L_1$ and $f_=_f_{a}$ is such_that_$a_\in \Delta_{N}(L)$,_then the following_holds:

-_ _if_$n\geq1$ and $x$, $fx,\cdots, f^{n-1}x\notin C_{\delta}$,_then_$J^{n}(x)\geq \delta L^{2\lambda n}$;

-   if_moreover $f^nx\in C_{\delta}$, then_$J^{n}(x)_\geq
   _L^{2 \lambda n}$.

[*Standing assumption for_the rest of this section:  $L\geq_L_1$ and_$a \in_\Delta_{N}$.*]{}

Recovering expansion {#s2.3}
--------------------

For $f = f_a$, $c \in C$ and $n>N$_we introduce three conditions:

-  _$J^{j-i}(c_i)\geq L \min