ge 1$, every point $z$ in $J(f)$ and every pair of points $x$ and $x'$ in the same pull-back $W$ of $B(z, \rho_0)$ by $f^n$, we have $$\begin{aligned}
|S_n(\varphi)(x) - S_n(\varphi)(x')|
& =
\left| \sum_{i=0}^{n-1} \varphi(f^i(x))- \sum_{i=0}^{n-1}\varphi(f^i(x')) \right|
\\ &
\le
\sum_{i=0}^{n-1} C_*\operatorname{diam}(f^i(W))^{\alpha}
\\ & \le
\sum_{i=0}^{n-1}C_* C_0^{\alpha} (n-i)^{- \beta \alpha}
\\ & \le
C_*C_0^{\alpha}\sum_{m = 1}^{+ \infty} m^{- \beta\alpha}.\end{aligned}$$ This proves the lemma with constants $\rho_1 = \rho_0$ and $C_1 = C_*C_0^{\alpha}\sum_{m = 1}^{+ \infty} m^{-\beta\alpha}$.

\[l:maximizing branches\] Let $f$ be a map in ${\mathscr{A}}$, let $\varphi: J(f)\rightarrow {\mathbb{R}}$ be a continuous function, and let $\nu$ be an invariant and ergodic Borel probability measure supported on $J(f)$. Then there exists a Borel subset $X'$ of $J(f)$ of full measure with respect to $\nu$, such that the following holds. For every $D' > 0$, and every point $x$ of $X'$ there exist a strictly increasing sequence positive integers $(n_l)_{l = 1}^{+ \infty}$ such that for every $l$ we can choose a point $x_l$ in $f^{-n_l}(x)$ so that:

1.  $x_{l + 1}$ is in $f^{-(n_{l + 1} - n_l)}(x_l)$;

2.  $S_{n_l}(\varphi)(x_l
ge 1 $, every point   $ z$ in   $ J(f)$ and every pair of points   $ x$ and   $ x'$ in the same wrench - binding   $ W$ of   $ B(z, \rho_0)$ by   $ f^n$, we have $ $ \begin{aligned } 
 |S_n(\varphi)(x) - S_n(\varphi)(x')| 
 & = 
 \left| \sum_{i=0}^{n-1 } \varphi(f^i(x))- \sum_{i=0}^{n-1}\varphi(f^i(x') ) \right| 
 \\ & 
 \le 
 \sum_{i=0}^{n-1 } C_*\operatorname{diam}(f^i(W))^{\alpha } 
 \\ & \le 
 \sum_{i=0}^{n-1}C _ * C_0^{\alpha } (n - i)^{- \beta \alpha } 
 \\ & \le 
 C_*C_0^{\alpha}\sum_{m = 1}^{+ \infty } m^{- \beta\alpha}.\end{aligned}$$ This proves the lemma with constants   $ \rho_1 = \rho_0 $ and   $ C_1 = C_*C_0^{\alpha}\sum_{m = 1}^{+ \infty } m^{-\beta\alpha}$. 

 \[l: maximize branches\ ] Let   $ f$ be a map in   $ { \mathscr{A}}$, permit $ \varphi: J(f)\rightarrow { \mathbb{R}}$ be a continuous function, and let   $ \nu$ be an changeless and ergodic Borel probability standard supported on   $ J(f)$. Then there exist a Borel subset   $ X'$ of   $ J(f)$ of full measure with obedience to   $ \nu$, such that the following holds. For every   $ D' > 0 $, and every point   $ x$ of   $ X'$ there exist a strictly increasing succession positive integers $ (n_l)_{l = 1}^{+ \infty}$ such that for every   $ l$ we can choose a point   $ x_l$ in   $ f^{-n_l}(x)$ so that: 

 1.   $ x_{l + 1}$ is in   $ f^{-(n_{l + 1 } - n_l)}(x_l)$; 

 2.   $ S_{n_l}(\varphi)(x_l
ge 1$, every point $z$ in $J(f)$ and eyery pair of poiurs $x$ anv $x'$ in tge same oull-back $W$ of $B(z, \rho_0)$ by $f^n$, we heve $$\vegin{qligned}
|S_n(\varphi)(x) - S_n(\vafphi)(x')|
& =
\lefn| \sum_{i=0}^{n-1} \vqrphm(f^i(x))- \sum_{i=0}^{n-1}\varphi(h^j(x')) \righb|
\\ &
\le
\shl_{i=0}^{n-1} E_*\o'eratorname{diam}(n^i(W))^{\alpha}
\\ & \la
\sum_{i=0}^{n-1}C_* C_0^{\alpha} (n-k)^{- \yeta \alpha}
\\ & \le
C_*C_0^{\alpha}\sum_{m = 1}^{+ \infty} m^{- \feta\alpna}.\fnd{aligned}$$ Thif prpdes fhe lemma with constants $\rho_1 = \rho_0$ ahd $C_1 = C_*C_0^{\elpha}\sum_{m = 1}^{+ \infyy} m^{-\beta\alpha}$.

\[l:maximizing bgancjes\] Let $f$ be a map ln ${\mathscr{A}}$, oet $\dqrphi: J(f)\righgarrow {\mathbb{R}}$ be a cohtinuous function, and let $\nu$ be xn inrariant and eegofhc Borel pribabijity measure supportad on $J(f)$. Then there exlsts e Boeel subset $X'$ of $J(f)$ of fnll measure with reskect to $\nu$, vueh that the following hilds. Xor averh $E' > 0$, ans xvedy poijt $x$ of $X'$ there exist a steictly increasing stquqbce positive jntegews $(n_l)_{l = 1}^{+ \infty}$ such that for every $l$ we cat cgoose a point $x_l$ in $f^{-n_l}(x)$ wo that:

1.  $x_{l + 1}$ is in $f^{-(n_{p + 1} - n_l)}(x_l)$;

2.  $S_{n_l}(\varphi)(x_l
ge 1$, every point $z$ in $J(f)$ pair points $x$ $x'$ in the \rho_0)$ $f^n$, we have |S_n(\varphi)(x) - S_n(\varphi)(x')| = \left| \sum_{i=0}^{n-1} \varphi(f^i(x))- \sum_{i=0}^{n-1}\varphi(f^i(x')) \right| & \le \sum_{i=0}^{n-1} C_*\operatorname{diam}(f^i(W))^{\alpha} \\ & \le \sum_{i=0}^{n-1}C_* C_0^{\alpha} (n-i)^{- \beta \alpha} \\ \le C_*C_0^{\alpha}\sum_{m = 1}^{+ \infty} m^{- \beta\alpha}.\end{aligned}$$ This proves the lemma with constants = and = = 1}^{+ \infty} m^{-\beta\alpha}$. \[l:maximizing branches\] Let $f$ be a map in ${\mathscr{A}}$, let $\varphi: J(f)\rightarrow be a continuous function, and let $\nu$ be invariant and ergodic Borel measure supported on $J(f)$. Then exists Borel subset of of measure with respect $\nu$, such that the following holds. For every $D' > 0$, and every point $x$ of $X'$ exist a sequence positive $(n_l)_{l 1}^{+ such that for we can choose a point $x_l$ that: 1. $x_{l + 1}$ is in $f^{-(n_{l 1} - 2. $S_{n_l}(\varphi)(x_l
ge 1$, every point $z$ in $J(f)$ and every Pair of poinTs $x$ anD $x'$ iN thE sAme pUll-bAck $W$ of $B(z, \rho_0)$ by $f^N$, We haVe $$\begin{aligned}
|S_n(\varphi)(X) - S_n(\vaRpHI)(x')|
& =
\leFT| \sUm_{i=0}^{n-1} \vArphi(f^i(X))- \SuM_{I=0}^{N-1}\vaRpHi(F^i(x')) \RiGHt|
\\ &
\Le
\sum_{I=0}^{n-1} C_*\OperatoRname{diam}(f^I(W))^{\aLpHa}
\\ & \le
\sum_{i=0}^{n-1}C_* C_0^{\aLPhA} (n-i)^{- \beta \alpHa}
\\ & \lE
C_*C_0^{\alpha}\sum_{m = 1}^{+ \InfTy} m^{- \betA\aLphA}.\End{alIgnEd}$$ ThiS proveS The lemMa with conStANts $\rho_1 = \RHo_0$ and $C_1 = C_*c_0^{\ALpHa}\suM_{m = 1}^{+ \infty} m^{-\beta\alpha}$.

\[L:MaXImizing brancheS\] Let $f$ bE a MAp IN ${\MatHscR{A}}$, let $\varphI: J(F)\righTArrow {\maTHbB{r}}$ BE a cONtinuous functIon, and let $\nu$ BE an InvariAnT anD ErgodiC BoreL pRObaBility measuRe suPported on $j(f)$. Then THere exiSTs a BoreL subseT $X'$ oF $J(f)$ Of fuLL mEaSurE wITh rESpEct TO $\nu$, Such that ThE fOllowIng hOLDS. for eVerY $D' > 0$, anD everY point $x$ of $X'$ theRe eXist A StrIctly IncreAsinG sEquenCe posiTive iNtEgers $(n_l)_{l = 1}^{+ \infty}$ suCh thAt for everY $l$ wE cAn cHoOse a pOInt $x_l$ iN $f^{-n_L}(x)$ sO that:

1.  $x_{l + 1}$ Is in $f^{-(n_{l + 1} - N_L)}(x_l)$;

2.  $s_{n_L}(\VARpHi)(x_l
ge 1$, every point $z$ in$J(f)$ and  ever y p air  o f po ints  $x$ and $x'$i n th e same pull-back $W$ o f $B( z, \rho _ 0) $ by$f^n$,w eh a ve$$ \b egi n{ a li gned} 
|S _n(\var phi)(x) -S_n (\ varphi)(x')| &=
\left| \ sum _{i=0}^{n-1}  \v arphi( f^ i(x ) )- \s um_ {i=0} ^{n-1} \ varphi (f^i(x'))  \ r ight|\ \ &
\le \ su m_{i =0}^{n-1} C_*\ope r at o rname{diam}(f^ i(W))^ {\ a lp h a }
\ \ &  \le
\sum_ {i =0}^{ n -1}C_*C _0 ^ { \ alp h a} (n-i)^{- \ beta \alpha } 
\\  & \le 
C _*C _ 0^{\al pha}\ su m _{m  = 1}^{+ \i nfty } m^{- \b eta\al p ha}.\en d {aligne d}$$ T his  pr oves th elem ma wit h  c ons t ant s $\rho_ 1=\rho_ 0$ a n d $ C_1= C _*C_ 0^{\a lpha}\sum_{m= 1 }^{+ \in fty}m^{-\ beta \a lpha} $.

\[ l:max im izing branches\ ] Le t $f$ bea m ap  in  $ {\mat h scr{A} }$,  le t $\var phi: J( f )\r ig h t a rr ow {\mathbb{R}}$ b ea co ntinuous  funct i on ,a nd let $ \n u$be a n invar iant an d ergodi c Bore l  p ro babilit ymeasur esup por ted o n  $J( f)$. T hen ther e exi s ts a Borel sub s et $X'$ of $J ( f) $ of full  me asure withresp e ct t o $\ n u$ , s u ch th at th ef ol l owing holds. For ev er y $D'> 0$,  and every po int $x$ of $ X '$ there  exi s ta  strictly incr easin g sequence positive  inte gers $(n _l)_{l =1 } ^{+ \inf ty} $ s uch  th a t  f or every $l$w e  can  c hoose a  po int $x_ l$in$f^ {-n _l }(x)$ sothat:

1 . $ x_ {l  +1}$ i s  in $f^{ -( n_{ l+ 1 } - n _ l)}(x_ l)$;
2. $ S_ { n_l }(\varp h i) ( x _l
ge 1$,_every point $z$_in $J(f)$ and every pair_of points $x$_and $x'$_in the_same_pull-back $W$ of $B(z, \rho_0)$_by $f^n$, we have_$$\begin{aligned}
|S_n(\varphi)(x) - S_n(\varphi)(x')|
& =
\left|_\sum_{i=0}^{n-1} \varphi(f^i(x))- \sum_{i=0}^{n-1}\varphi(f^i(x'))_\right|
\\_&
\le
\sum_{i=0}^{n-1} C_*\operatorname{diam}(f^i(W))^{\alpha}
\\ & \le
\sum_{i=0}^{n-1}C_* C_0^{\alpha} (n-i)^{- \beta \alpha}
\\ & \le
C_*C_0^{\alpha}\sum_{m = 1}^{+ \infty} m^{-_\beta\alpha}.\end{aligned}$$_This proves_the_lemma_with constants $\rho_1 = \rho_0$ and $C_1_= C_*C_0^{\alpha}\sum_{m = 1}^{+ \infty}_m^{-\beta\alpha}$.

\[l:maximizing branches\]_Let $f$ be a map in ${\mathscr{A}}$, let $\varphi: J(f)\rightarrow_{\mathbb{R}}$_be a continuous_function, and let $\nu$ be an invariant and ergodic Borel_probability measure supported on $J(f)$. Then there_exists a Borel_subset $X'$_of $J(f)$_of full measure with_respect to $\nu$, such that the following_holds. For every $D' > 0$, and_every point $x$ of $X'$ there exist a strictly_increasing sequence positive integers $(n_l)_{l =_1}^{+ \infty}$ such that for_every $l$ we_can choose a point $x_l$ in $f^{-n_l}(x)$_so that:

1. _$x_{l +_1}$ is in $f^{-(n_{l_+ 1} - n_l)}(x_l)$;

2.  $S_{n_l}(\varphi)(x_l