$ let $\mu_{n}=\widetilde \mu_{ n-1}*\cdots *\widetilde \mu_{1}*\widetilde \mu_{0}$ be the measure on $G^+$ defined by the $n$ convolutions. Clearly, $\mu_n$ is absolutely continuous with respect to $\mu$ and $\mu_p$ is the pushforward of $(\mu|_{B_1^+})^{\otimes p}$ by the map $\eta$. The following lemma shows that $\mu_n$ has density bigger than or equal to one at every $h\in B_{1/2}^+$.

\[l-rd-conv\] For all $n\le N $ and $ h\in B_{{1}/{2}}^+$ we have $
\frac{d\mu_{n}}{d\mu}(h)\ge 1.
$

The conclusion is clear if $n=1$. Now we assume $n>1$ and let $$\nu= \widetilde \mu_{ n-1}* \widetilde \mu_{n-2}* \cdots  * \widetilde \mu_{ 1}.$$ It follows from (\[l-t4\]) and (\[eq;def\]) that for $k>0$ the probability measure $\widetilde \mu_{ k}$ is supported on $B_{1/4^k}^+$. Since the metric on $G^+$ is right invariant, the measure $\nu$ is supported on $B_{1/2}^+$. Suppose $\nu=\varphi {\; \mathrm{d}}\mu$, then $\mu_{  n}=\nu * \widetilde \mu_0 =\varphi* \mathbbm{1}_{B_1^+} {\; \mathrm{d}}\mu$. So for any $h\in B_{1/2}^+$, we have $$\varphi* \mathbbm{1}_{B_1^+}(h)=\int_{G^+}\varphi(h_1)\mathbbm{1}_{B_1^+}(h_1^{-1}h) d\mu(h_1)\ge \int_{B_{1/2}^+}\varphi(h_1)d\mu(h_1) =1.$$

Now we are ready to prove Lemma \[l-int-ine\].

By Lemmas \[lem;contain\] and \[l-rd-conv\], $$\begin{aligned}
\label{eq;temp}
    \mu ({\mathfrak {D}}_x(z,
$ let $ \mu_{n}=\widetilde \mu _ { n-1}*\cdots * \widetilde \mu_{1}*\widetilde \mu_{0}$ be the measure on $ G^+$ defined by the $ n$ convolutions. intelligibly, $ \mu_n$ is absolutely continuous with obedience to $ \mu$ and $ \mu_p$ is the pushforward of $ (\mu|_{B_1^+})^{\otimes p}$ by the map $ \eta$. The following lemma shows that $ \mu_n$ have density bigger than or adequate to one at every $ h\in B_{1/2}^+$. 

 \[l - rd - conv\ ] For all $ n\le N $ and $ h\in B_{{1}/{2}}^+$ we have $ 
 \frac{d\mu_{n}}{d\mu}(h)\ge 1. 
 $ 

 The conclusion is clear if $ n=1$. nowadays we assume $ n>1 $ and let $ $ \nu= \widetilde \mu _ { n-1 } * \widetilde \mu_{n-2 } * \cdots   * \widetilde \mu _ { 1}.$$ It keep up from (\[l - t4\ ]) and (\[eq;def\ ]) that for $ k>0 $ the probability measure $ \widetilde \mu _ { k}$ is back on $ B_{1/4^k}^+$. Since the metric on $ G^+$ is right invariant, the measure $ \nu$ is supported on $ B_{1/2}^+$. Suppose $ \nu=\varphi { \; \mathrm{d}}\mu$, then $ \mu _ {   n}=\nu * \widetilde \mu_0 = \varphi * \mathbbm{1}_{B_1^+ } { \; \mathrm{d}}\mu$. thus for any $ h\in B_{1/2}^+$, we have $ $ \varphi * \mathbbm{1}_{B_1^+}(h)=\int_{G^+}\varphi(h_1)\mathbbm{1}_{B_1^+}(h_1^{-1}h) d\mu(h_1)\ge \int_{B_{1/2}^+}\varphi(h_1)d\mu(h_1) = 1.$$ 

 Now we are ready to raise Lemma \[l - int - ine\ ]. 

 By Lemmas \[lem;contain\ ] and \[l - rd - conv\ ], $ $ \begin{aligned } 
 \label{eq;temp } 
     \mu ({ \mathfrak { D}}_x(z,
$ leh $\mu_{n}=\widetilde \mu_{ n-1}*\cdots *\widetilde \mu_{1}*\wibwtilde \mu_{0}$ be the mearure on $G^+$ defined by the $n$ clncolutuons. Clearly, $\mu_n$ is abrolutely bontinuouw wiuh respect to $\mu$ ehd $\mu_p$ lf ths puskfirward of $(\mu|_{B_1^+})^{\ojimes p}$ by tve map $\eta$. The fulpowing lemma shows that $\mu_n$ has denfity bibgfr than or equwl tp one at every $h\in B_{1/2}^+$.

\[l-rd-conv\] For all $n\le N $ and $ h\in B_{{1}/{2}}^+$ we hafe $
\frac{d\mu_{n}}{d\mu}(h)\ge 1.
$

The concpusiln is clear if $n=1$. Nlw we assumg $n>1$ wbd let $$\nu= \wiaetilde \mu_{ n-1}* \widetilde \mu_{n-2}* \cdots  * \widetilde \mu_{ 1}.$$ It fullowx from (\[l-t4\]) qne (\[ee;gef\]) that foc $k>0$ thv probability measure $\widetikde \mu_{ k}$ is suiportxd ob $B_{1/4^k}^+$. Since the metric on $G^+$ is right invwriant, tha jeasure $\nu$ is suppoeted mn $B_{1/2}^+$. Supoise $\nu=\bacphj {\; \matjrm{v}}\mu$, then $\mu_{  n}=\nu * \widerilde \mu_0 =\varphi* \matnbfn{1}_{B_1^+} {\; \mathrm{d}}\mu$. So fow wny $h\in B_{1/2}^+$, we have $$\varphi* \mathbbm{1}_{B_1^+}(h)=\int_{G^+}\vdrpgi(h_1)\mathbbm{1}_{B_1^+}(h_1^{-1}h) d\mu(h_1)\ge \inr_{B_{1/2}^+}\varphi(h_1)d\mu(h_1) =1.$$

Now we wre ready to prove Lemma \[l-int-ine\].

By Lemmas \[lem;contain\] and \[l-sd-cont\], $$\cegnk{wuugjed}
\label{eq;temp}
    \mu ({\mathfrak {D}}_x(z,
$ let $\mu_{n}=\widetilde \mu_{ n-1}*\cdots *\widetilde \mu_{1}*\widetilde the on $G^+$ by the $n$ continuous respect to $\mu$ $\mu_p$ is the of $(\mu|_{B_1^+})^{\otimes p}$ by the map The following lemma shows that $\mu_n$ has density bigger than or equal to at every $h\in B_{1/2}^+$. \[l-rd-conv\] For all $n\le N $ and $ h\in we $ 1. The conclusion is clear if $n=1$. Now we assume $n>1$ and let $$\nu= \widetilde \mu_{ n-1}* \mu_{n-2}* \cdots * \widetilde \mu_{ 1}.$$ It follows (\[l-t4\]) and (\[eq;def\]) that $k>0$ the probability measure $\widetilde k}$ supported on Since metric $G^+$ is right the measure $\nu$ is supported on $B_{1/2}^+$. Suppose $\nu=\varphi {\; \mathrm{d}}\mu$, then $\mu_{ n}=\nu * \widetilde \mu_0 \mathbbm{1}_{B_1^+} {\; for any B_{1/2}^+$, have \mathbbm{1}_{B_1^+}(h)=\int_{G^+}\varphi(h_1)\mathbbm{1}_{B_1^+}(h_1^{-1}h) d\mu(h_1)\ge \int_{B_{1/2}^+}\varphi(h_1)d\mu(h_1) we are ready to prove Lemma \[lem;contain\] and \[l-rd-conv\], $$\begin{aligned} \label{eq;temp} \mu ({\mathfrak {D}}_x(z,
$ let $\mu_{n}=\widetilde \mu_{ n-1}*\cdots *\wiDetilde \mu_{1}*\wIdetiLde \Mu_{0}$ bE tHe meAsurE on $G^+$ defined by tHE $n$ coNvolutions. Clearly, $\mu_n$ is AbsolUtELy coNTiNuous With resPEcT TO $\mu$ AnD $\mU_p$ iS tHE pUshfoRwaRd of $(\mu|_{B_1^+})^{\Otimes p}$ by tHe mAp $\Eta$. The followINg Lemma shows ThaT $\mu_n$ has densiTy bIgger tHaN or EQual tO onE at evEry $h\in b_{1/2}^+$.

\[L-rd-conV\] For all $n\lE N $ ANd $ h\in B_{{1}/{2}}^+$ WE have $
\frAC{D\mU_{n}}{d\mU}(h)\ge 1.
$

The conclusion IS cLEar if $n=1$. Now we assUme $n>1$ anD lET $$\nU= \WIdeTilDe \mu_{ n-1}* \widetIlDe \mu_{n-2}* \CDots  * \widETiLDE \Mu_{ 1}.$$ IT Follows from (\[l-t4\]) And (\[eq;def\]) thaT For $K>0$ the prObAbiLIty meaSure $\wIdETilDe \mu_{ k}$ is suppOrteD on $B_{1/4^k}^+$. SincE the meTRic on $G^+$ iS Right inVarianT, thE meAsurE $\Nu$ Is SupPoRTed ON $B_{1/2}^+$. supPOse $\Nu=\varphi {\; \MaThRm{d}}\mu$, Then $\MU_{  N}=\NU * \widEtiLde \mU_0 =\varpHi* \mathbbm{1}_{B_1^+} {\; \matHrm{D}}\mu$. SO For Any $h\iN B_{1/2}^+$, we hAve $$\vArPhi* \maThbbm{1}_{B_1^+}(H)=\int_{G^+}\VaRphi(h_1)\mathbbm{1}_{B_1^+}(h_1^{-1}h) D\mu(h_1)\Ge \int_{B_{1/2}^+}\varPhi(H_1)d\Mu(h_1) =1.$$

noW we arE Ready tO prOve lemma \[l-iNt-ine\].

By lEmmAs \[LEM;CoNtain\] and \[l-rd-conv\], $$\begIn{ALIgNed}
\label{Eq;temp}
    \MU ({\mAtHFrak {D}}_x(z,
$ let $\mu_{n}=\widetilde\mu_{ n-1} *\cdo ts*\w id etil de \ mu_{1}*\wideti l de \ mu_{0}$ be the measure  on $ G^ + $ de f in ed by  the $n $  c o n vol ut io ns.  C l ea rly,$\m u_n$ is  absolutel y c on tinuous with re spect to $ \mu $ and $\mu_p $ i s thepu shf o rward  of  $(\m u|_{B_ 1 ^+})^{ \otimes p }$ by the map $\e t a $.  The  following lemmas ho w s that $\mu_n$  has d en s it y big ger  than or e qu al to one ate ve r y $h\ i n B_{1/2}^+$. 

\[l-rd-co n v\]  For a ll  $n \ le N $  and$h \in  B_{{1}/{2} }^+$  we have$
\fra c {d\mu_{ n }}{d\mu }(h)\g e 1 .
$ 

Th e  c on clu si o n i s  c lea r  if  $n=1$.No wwe as sume $ n > 1$ a ndlet$$\nu = \widetilde\mu _{ n - 1}*  \wid etild e \m u_ {n-2} * \cdo ts  *  \ widetilde \mu_{  1}. $$ It fol low sfro m(\[l- t 4\]) a nd(\[ eq;def\ ]) that for  $ k > 0 $the probability me as u r e$\wideti lde \m u _{  k } $ is sup po rte d on $ B_{1/ 4^k} ^ +$ . Sincethe me t ri con $G^+ $is rig ht  in var iant, themeasur e $\nu$is su p ported on $B_{ 1 /2}^+$. Suppo s e$ \ nu = \var phi  {\; \mathr m{d} } \mu$ , th e n$\m u _{  n }=\nu  * \w i detilde \mu_0 =\var ph i* \ma thbbm {1}_{B_1^+} { \; \mathrm { d } }\mu$. S o fo r  a n y $h\in B_{1/2 }^+$,  we have $ $ \varphi*  \mat hbbm{1}_ {B_1^+}(h ) = \int_{G^ +}\ var phi (h_ 1 ) \m athbbm{1}_{B_ 1 ^ +}(h _1 ^{-1}h)  d\ mu(h_1) \ge  \i nt_ {B_ {1 /2}^+}\va rphi(h_1 )d \m u( h_ 1)=1.$$ 
Now wear e r ea dyto pr o ve Lem ma \[ l-in t- in e \]. 

By Le m ma s \[le m; co ntai n\]  a nd \[ l-rd - con v\], $$ \begin{al ign e d}
\ la be l{eq;te mp}
    \mu ( {\ mathfrak { D} }_x (z,
$ let_$\mu_{n}=\widetilde \mu_{_n-1}*\cdots *\widetilde \mu_{1}*\widetilde \mu_{0}$_be the_measure_on $G^+$_defined_by the $n$_convolutions. Clearly, $\mu_n$_is absolutely continuous with_respect to $\mu$_and_$\mu_p$ is the pushforward of $(\mu|_{B_1^+})^{\otimes p}$ by the map $\eta$. The following lemma_shows_that $\mu_n$_has_density_bigger than or equal to_one at every $h\in B_{1/2}^+$.

\[l-rd-conv\]_For all_$n\le N $ and $ h\in B_{{1}/{2}}^+$ we_have_$
\frac{d\mu_{n}}{d\mu}(h)\ge 1.
$

The conclusion_is clear if $n=1$. Now we assume $n>1$ and_let $$\nu= \widetilde \mu_{ n-1}* \widetilde_\mu_{n-2}* \cdots _*_\widetilde_\mu_{ 1}.$$ It follows_from (\[l-t4\]) and (\[eq;def\]) that for_$k>0$ the probability measure $\widetilde \mu_{_k}$ is supported on $B_{1/4^k}^+$. Since the_metric on $G^+$ is right invariant,_the measure $\nu$ is supported_on $B_{1/2}^+$._Suppose $\nu=\varphi {\; \mathrm{d}}\mu$, then_$\mu_{  n}=\nu_* \widetilde_\mu_0 =\varphi* \mathbbm{1}_{B_1^+}_{\; \mathrm{d}}\mu$. So for any $h\in_B_{1/2}^+$, we have_$$\varphi* \mathbbm{1}_{B_1^+}(h)=\int_{G^+}\varphi(h_1)\mathbbm{1}_{B_1^+}(h_1^{-1}h) d\mu(h_1)\ge \int_{B_{1/2}^+}\varphi(h_1)d\mu(h_1) =1.$$

Now we_are_ready to prove_Lemma_\[l-int-ine\].

By_Lemmas \[lem;contain\]_and \[l-rd-conv\], $$\begin{aligned}
\label{eq;temp}
__ _\mu_({\mathfrak {D}}_x(z,