(\lambda+\delta) t N}})\ge \frac{ |{\mathfrak{U}}|}{C_0E} e^{-(\lambda+\delta) d  t N}.
    \end{aligned}$$

On the other hand, since there are $2^N$ subsets $I\subset \{1, \ldots, N \}$, by (\[eq;sum\]), (\[eq;details\]) and Lemma \[l-int-ine\], we have $$\label{mu-dx+1}
  \mu\big({\mathfrak {D}}_x({ z }, N, \sigma,  C\ell )\big) \le C^2
     2^Ne^{-(1-\delta/2) \alpha tN}u (x)\le e^{-(1-\delta)\alpha tN}u (x).$$ By (\[eq;tmd\]) and (\[mu-dx+1\]), $$|\mathfrak U| \le u(x) C_0C^2 E\cdot    e^{ ( d\lambda -\alpha+\delta  (d+\alpha)) t N}.$$ The conclusion now follows by taking $
  E_0=u(x)C_0 C^2 E.
  $

Upper bound of Hausdorff dimension
==================================

In this section, we finish the proof of Theorem \[thm;general\]. We will use the same notation as in §\[sec;first\] prior to Proposition \[l-main2\]. For $(z,h)\in B_1^c B_1^+, \ell '>0 $ and $N\in {\mathbb{N}}$, let $I_{N, \ell'}(z,h)$ denote the set of $n\in \{1,\ldots,N\}$ satisfying $  u(f_{nt}zhx)\ge \ell '
$. For $x\in {G/\Gamma}$, let $$\label{def-d+0}
{\mathfrak {D}}^{0}_x(F^+, N, \sigma, \ell')=\{(z,h)\in B_{1/2}^c B_{1/2}^+ : |I_{N, \ell '}(z,h)|\ge \sigma N\}.$$

\[l-main\] Let $x\in {G/\Gamma}$. Then there exist $0<\sigma<1$ and $E_2\ge 1$ such that for any $N\in {\mathbb{
( \lambda+\delta) t N}})\ge \frac { |{\mathfrak{U}}|}{C_0E } e^{-(\lambda+\delta) d   t N }. 
     \end{aligned}$$ 

 On the other hand, since there are $ 2^N$ subsets $ I\subset \{1, \ldots, N \}$, by (\[eq;sum\ ]), (\[eq;details\ ]) and Lemma \[l - int - ine\ ], we get $ $ \label{mu - dx+1 } 
   \mu\big({\mathfrak { D}}_x ({ z }, N, \sigma,   C\ell) \big) \le C^2 
      2^Ne^{-(1-\delta/2) \alpha tN}u (x)\le e^{-(1-\delta)\alpha tN}u (x).$$ By (\[eq;tmd\ ]) and (\[mu - dx+1\ ]), $ $ |\mathfrak U| \le u(x) C_0C^2 E\cdot     e^ { (d\lambda -\alpha+\delta   (d+\alpha) ) metric ton N}.$$ The conclusion now follows by take $ 
   E_0 = u(x)C_0 C^2 E. 
   $ 

 Upper bound of Hausdorff dimension 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this part, we finish the proof of Theorem \[thm;general\ ]. We will practice the like notation as in § \[sec;first\ ] prior to Proposition \[l - main2\ ]. For $ (z, h)\in B_1^c B_1^+, \ell' > 0 $ and $ N\in { \mathbb{N}}$, let $ I_{N, \ell'}(z, h)$ announce the set of $ n\in \{1,\ldots, N\}$ satisfying $   u(f_{nt}zhx)\ge \ell' 
 $. For $ x\in { G/\Gamma}$, get $ $ \label{def - d+0 } 
 { \mathfrak { D}}^{0}_x(F^+, N, \sigma, \ell')=\{(z, h)\in B_{1/2}^c B_{1/2}^+: |I_{N, \ell' } (omega, h)|\ge \sigma N\}.$$ 

 \[l - main\ ] Let $ x\in { G/\Gamma}$. Then there exist $ 0<\sigma<1 $ and $ E_2\ge 1 $ such that for any $ N\in { \mathbb {
(\lamhda+\delta) t N}})\ge \frac{ |{\mathnrak{U}}|}{C_0E} e^{-(\lambda+\dglra) d  v N}.
    \snd{aligndd}$$

On the other hand, since thxre qre $2^N$ subsets $I\subset \{1, \ldotr, N \}$, by (\[ee;sum\]), (\[eq;dwtaiow\]) and Lemme \[l-int-inc\], we gwve $$\nebel{mu-dx+1}
  \mu\big({\kathfrak {D}}_f({ z }, N, \sigma,  W\eul )\big) \le C^2
     2^Ne^{-(1-\delta/2) \alpha tN}u (x)\le e^{-(1-\delta)\sloha tN}u (x).$$ By (\[ez;tmd\]) wnd (\[jl-dw+1\]), $$|\mathfrak U| \le u(x) C_0C^2 E\cdot    e^{ ( d\lambva -\alpha+\delta  (c+\alpha)) t N}.$$ The conclusion jow vollows by taking $
  E_0=u(x)C_0 C^2 E.
  $

Uppqe bound of Hxusdorff dpkension
==================================

In jhis section, we finish the proof of Tkeorem \[thm;gguwrap\]. We will usx the fame notatiok as in §\[sec;firxt\] prior to Prppovituon \[l-main2\]. For $(z,h)\in B_1^c B_1^+, \ell '>0 $ and $N\in {\mwthbb{N}}$, led $N_{N, \ell'}(z,h)$ denote the swt of $n\hn \{1,\lgots,V\}$ sagisrymng $  u(f_{nh}zhe)\ge \ell '
$. Fod $x\in {G/\Gammq}$, let $$\label{def-d+0}
{\mathgrwj {D}}^{0}_x(F^+, N, \sigma, \ell')=\{(z,h)\yn B_{1/2}^c B_{1/2}^+ : |I_{N, \ell '}(z,h)|\ge \sigma N\}.$$

\[l-main\] Let $x\in {G/\Gzmma}$. Then there exist $0<\sugma<1$ and $E_2\ge 1$ such thwt for anr $N\in {\mathbb{
(\lambda+\delta) t N}})\ge \frac{ |{\mathfrak{U}}|}{C_0E} e^{-(\lambda+\delta) d \end{aligned}$$ the other since there are N by (\[eq;sum\]), (\[eq;details\]) Lemma \[l-int-ine\], we $$\label{mu-dx+1} \mu\big({\mathfrak {D}}_x({ z }, N, C\ell )\big) \le C^2 2^Ne^{-(1-\delta/2) \alpha tN}u (x)\le e^{-(1-\delta)\alpha tN}u (x).$$ By (\[eq;tmd\]) (\[mu-dx+1\]), $$|\mathfrak U| \le u(x) C_0C^2 E\cdot e^{ ( d\lambda -\alpha+\delta (d+\alpha)) t The now by $ E_0=u(x)C_0 C^2 E. $ Upper bound of Hausdorff dimension ================================== In this section, we finish proof of Theorem \[thm;general\]. We will use the notation as in §\[sec;first\] to Proposition \[l-main2\]. For $(z,h)\in B_1^+, '>0 $ $N\in let \ell'}(z,h)$ denote the of $n\in \{1,\ldots,N\}$ satisfying $ u(f_{nt}zhx)\ge \ell ' $. For $x\in {G/\Gamma}$, let $$\label{def-d+0} {\mathfrak {D}}^{0}_x(F^+, N, \ell')=\{(z,h)\in B_{1/2}^c |I_{N, \ell \sigma \[l-main\] $x\in {G/\Gamma}$. Then $0<\sigma<1$ and $E_2\ge 1$ such that {\mathbb{
(\lambda+\delta) t N}})\ge \frac{ |{\mathfrAk{U}}|}{C_0E} e^{-(\lambDa+\delTa) d  T N}.
    \eNd{AligNed}$$

ON the other hand, sINce tHere are $2^N$ subsets $I\subset \{1, \Ldots, n \}$, bY (\[Eq;suM\]), (\[Eq;DetaiLs\]) and LeMMa \[L-INt-iNe\], We HavE $$\lABeL{mu-dx+1}
  \Mu\bIg({\mathfRak {D}}_x({ z }, N, \sigMa,  C\ElL )\big) \le C^2
     2^Ne^{-(1-\delTA/2) \aLpha tN}u (x)\le E^{-(1-\deLta)\alpha tN}u (x).$$ by (\[eQ;tmd\]) anD (\[mU-dx+1\]), $$|\MAthfrAk U| \Le u(x) C_0c^2 E\cdot    E^{ ( D\lambdA -\alpha+\delTa  (D+\Alpha)) t n}.$$ the concLUSiOn noW follows by taking $
  E_0=U(X)C_0 c^2 e.
  $

Upper bound of HAusdorFf DImENSioN
==================================

In This sectioN, wE finiSH the proOF oF tHEorEM \[thm;general\]. We Will use the sAMe nOtatioN aS in §\[SEc;firsT\] prioR tO proPosition \[l-maIn2\]. FoR $(z,h)\in B_1^c B_1^+, \eLl '>0 $ and $N\IN {\mathbb{n}}$, Let $I_{N, \elL'}(z,h)$ denOte The Set oF $N\iN \{1,\lDotS,N\}$ SAtiSFyIng $  U(F_{nt}Zhx)\ge \ell '
$. foR $x\In {G/\GaMma}$, lET $$\LABel{dEf-d+0}
{\MathFrak {D}}^{0}_X(F^+, N, \sigma, \ell')=\{(z,h)\In B_{1/2}^C B_{1/2}^+ : |I_{N, \ELl '}(z,H)|\ge \siGma N\}.$$

\[l-Main\] leT $x\in {G/\gamma}$. THen thErE exist $0<\sigma<1$ and $E_2\Ge 1$ suCh that for Any $n\iN {\maThBb{
(\lambda+\delta) t N}})\ge  \frac{ |{ \math fra k{U }} |}{C _0E}  e^{-(\lambda+ \ delt a) d  t N}.
    \end{a ligne d} $ $

O n  t he ot her han d ,s i nce  t he rear e  $ 2^N$sub sets $I \subset \{ 1,\l dots, N \}$, by  (\[eq;sum \]) , (\[eq;deta ils \]) an dLem m a \[l -in t-ine \], we have $ $\label{m u- d x+1}
\mu\big ( { \m athf rak {D}}_x({ z }, N, \sigma,  C\ell  )\big )\ le C ^2    2^Ne^{-( 1- \delt a /2) \al p ha t N }u( x)\le e^{-(1- \delta)\alp h a t N}u (x ). $$B y (\[e q;tmd \] )  an d (\[mu-dx+ 1\]) , $$|\mat hfrakU | \le u ( x) C_0C ^2 E\c dot    e^{ (d\ lam bd a  -\ a lp ha+ \ del ta  (d+\ al ph a)) t  N}. $ $ T he c onc lusi on no w follows bytak ing$ 
 E_0=u (x)C_ 0 C^ 2E.
 $

Upp er bo un d of Hausdorffdime nsion
=== === == === == ===== = ====== === === ===

In  this s e cti on , w efinish the proof o fT h eo rem \[th m;gene r al \] .  We will  u sethes a me no tati o nas in §\ [sec;f i rs t\ ] prior  t o Prop os iti on\[l-m a in2\ ]. For  $(z,h)\ in B_ 1 ^c B_1^+, \ell '>0 $ and $N\ i n{ \ ma t hbb{ N}} $, let $I_{ N, \ e ll'} (z,h ) $den o te th e set  o f  $ n \in \{1,\ldots,N\}$  s atisfy ing $   u(f_{nt}zhx )\ge \ell' $ . For $x \in{ G/ \ Gamma}$, let $ $\lab el{def-d+0 } 
{\mathf rak { D}}^{0}_ x(F^+, N, \ sigma, \ ell ')= \{( z,h ) \ in  B_{1/2}^c B_ { 1 /2}^ +: |I_{N , \ ell '}( z,h )|\ ge\si gm a N\}.$$
\[l-mai n\ ]Le t$x\ in {G / \Gamma}$ .The nthe re ex i st $0< \sigm a<1$  a nd $E_ 2\ge 1$ su c h  tha tfo r an y $ N\ in {\ math b b{
(\lambda+\delta) t_N}})\ge \frac{_|{\mathfrak{U}}|}{C_0E} e^{-(\lambda+\delta) d _t N}.
__ _\end{aligned}$$

On_the other hand,_since there are_$2^N$ subsets $I\subset \{1,_\ldots, N \}$,_by_(\[eq;sum\]), (\[eq;details\]) and Lemma \[l-int-ine\], we have $$\label{mu-dx+1}
  \mu\big({\mathfrak {D}}_x({ z }, N,_\sigma,_ C\ell_)\big)_\le_C^2
    _2^Ne^{-(1-\delta/2) \alpha tN}u (x)\le e^{-(1-\delta)\alpha_tN}u (x).$$_By (\[eq;tmd\]) and (\[mu-dx+1\]), $$|\mathfrak U| \le u(x)_C_0C^2_E\cdot  _ e^{ ( d\lambda -\alpha+\delta  (d+\alpha)) t N}.$$_The conclusion now follows by taking_$
  E_0=u(x)C_0_C^2_E.
_ $

Upper bound of_Hausdorff dimension
==================================

In this section, we finish_the proof of Theorem \[thm;general\]. We_will use the same notation as in_§\[sec;first\] prior to Proposition \[l-main2\]. For_$(z,h)\in B_1^c B_1^+, \ell '>0_$ and_$N\in {\mathbb{N}}$, let $I_{N, \ell'}(z,h)$_denote the set_of $n\in_\{1,\ldots,N\}$ satisfying $_ u(f_{nt}zhx)\ge \ell '
$. For $x\in_{G/\Gamma}$, let $$\label{def-d+0}
{\mathfrak_{D}}^{0}_x(F^+, N, \sigma, \ell')=\{(z,h)\in B_{1/2}^c B_{1/2}^+_:_|I_{N, \ell '}(z,h)|\ge_\sigma_N\}.$$

\[l-main\]_Let $x\in_{G/\Gamma}$. Then there_exist_$0<\sigma<1$ and_$E_2\ge_1$ such that for any $N\in_{\mathbb{