\log2\mu_s((y+i\mathbb{I})^{-1}(x-y)(x+i\mathbb{I})^{-1})ds\\
\leq& \int_0^t\log\mu_s((y+i\mathbb{I})^{-1})ds+\int_E\log2\mu_s(x-y)ds\\
&+\int_0^t\log\mu_s((x+i\mathbb{I})^{-1})ds\\
\leq& \int_0^t\log[\mu_{1-s}^\ell(y+i\mathbb{I})]^{-1} ds+\int_E\log2\mu_s(x-y)ds\\
&+\int_0^t\log[\mu_{1-s}^\ell(x+i\mathbb{I})]^{-1}ds\\
\leq& \int_0^t\log[1-\mu_{s}(y)]^{-1} ds+\int_E\log2\mu_s(x-y)ds\\
&+\int_0^t\log[1-\mu_{s}(x)]^{-1}ds\\
=&\int_E\log2\mu_s(x-y)ds-\int_0^t\log[(1-\mu_{s}(x))(1-\mu_{s}(y))]ds\end{aligned}$$

If we replace $K$ by $[0, 1]$, in Theorem \[theorem 5.3\] we have the following corollary.

Let $x, y\in\mathcal{M}$ with $\|x\|<1, \|y\|<1$ and let $\mathcal{C}(x)$ and $\mathcal{C}(y)$ be the Cayley transforms of $x$ and $y$, respectively. Then $$\begin{aligned}
 \int_0^1\log\frac{1-\mu_{1-s}(x)}{1+\mu_{s}(x)}ds
 \leq
\int_0^1\log\mu_s(\mathcal{C}(x))ds \leq\int_0^1\log\frac{1+\mu_s(x)}{1-\mu_s(x)}ds\end{aligned}$$ and $$\begin{aligned}
\int_0^1\log\mu_
\log2\mu_s((y+i\mathbb{I})^{-1}(x - y)(x+i\mathbb{I})^{-1})ds\\ 
 \leq & \int_0^t\log\mu_s((y+i\mathbb{I})^{-1})ds+\int_E\log2\mu_s(x - y)ds\\ 
 & + \int_0^t\log\mu_s((x+i\mathbb{I})^{-1})ds\\ 
 \leq & \int_0^t\log[\mu_{1 - s}^\ell(y+i\mathbb{I})]^{-1 } ds+\int_E\log2\mu_s(x - y)ds\\ 
 & + \int_0^t\log[\mu_{1 - s}^\ell(x+i\mathbb{I})]^{-1}ds\\ 
 \leq & \int_0^t\log[1-\mu_{s}(y)]^{-1 } ds+\int_E\log2\mu_s(x - y)ds\\ 
 & + \int_0^t\log[1-\mu_{s}(x)]^{-1}ds\\ 
 = & \int_E\log2\mu_s(x - y)ds-\int_0^t\log[(1-\mu_{s}(x))(1-\mu_{s}(y))]ds\end{aligned}$$ 

 If we replace $ K$ by $ [ 0, 1]$, in Theorem \[theorem 5.3\ ] we have the following corollary. 

 Let $ x, y\in\mathcal{M}$ with $ \|x\|<1, \|y\|<1 $ and lease $ \mathcal{C}(x)$ and $ \mathcal{C}(y)$ be the Cayley transform of $ x$ and $ y$, respectively. Then $ $ \begin{aligned } 
  \int_0 ^ 1\log\frac{1-\mu_{1 - s}(x)}{1+\mu_{s}(x)}ds 
  \leq 
 \int_0 ^ 1\log\mu_s(\mathcal{C}(x))ds \leq\int_0 ^ 1\log\frac{1+\mu_s(x)}{1-\mu_s(x)}ds\end{aligned}$$ and $ $ \begin{aligned } 
 \int_0 ^ 1\log\mu _
\log2\lu_s((y+i\mathbb{I})^{-1}(x-y)(x+i\mathbb{I})^{-1})dr\\
\leq& \int_0^t\log\mu_s((i+i\nathbb{M})^{-1})ds+\int_E\mog2\mu_s(x-y)as\\
&+\int_0^t\log\mu_s((x+i\mathbb{I})^{-1})ds\\
\leq& \iit_0^t\lig[\mu_{1-s}^\tjl(y+i\mathbb{I})]^{-1} ds+\int_E\uog2\mu_s(x-y)dd\\
&+\int_0^t\log[\nu_{1-s}^\eoo(x+i\mathbb{I})]^{-1}va\\
\leq& \inb_0^c\log[1-\mh_{d}(y)]^{-1} dv+\mnt_E\log2\mu_s(x-y)ds\\
&+\ikt_0^t\log[1-\mu_{s}(x)]^{-1}dv\\
=&\int_E\log2\mu_s(x-y)dv-\ivt_0^c\log[(1-\mu_{s}(x))(1-\mu_{s}(y))]ds\end{aligned}$$

If we replacq $K$ by $[0, 1]$, ln Theorem \[thejrem 5.3\] we gave the following corollary.

Let $x, g\in\mathbal{M}$ with $\|x\|<1, \|y\|<1$ and let $\mathcal{C}(x)$ and $\mathcal{F}(y)$ bf the Cayley transvorms of $x$ qnd $r$, respectivelh. Then $$\begpu{aligned}
 \inj_0^1\log\frac{1-\mu_{1-s}(x)}{1+\mu_{s}(x)}ds
 \leq
\int_0^1\log\mu_s(\mxthcak{C}(x))ds \leq\ibt_0^1\oog\vtac{1+\mu_s(x)}{1-\mu_s(x)}dw\end{ajigned}$$ and $$\bcbin{alicned}
\int_0^1\kog\mu_
\log2\mu_s((y+i\mathbb{I})^{-1}(x-y)(x+i\mathbb{I})^{-1})ds\\ \leq& \int_0^t\log\mu_s((y+i\mathbb{I})^{-1})ds+\int_E\log2\mu_s(x-y)ds\\ &+\int_0^t\log\mu_s((x+i\mathbb{I})^{-1})ds\\ \leq& \int_0^t\log[\mu_{1-s}^\ell(y+i\mathbb{I})]^{-1} ds+\int_E\log2\mu_s(x-y)ds\\ \int_0^t\log[1-\mu_{s}(y)]^{-1} &+\int_0^t\log[1-\mu_{s}(x)]^{-1}ds\\ =&\int_E\log2\mu_s(x-y)ds-\int_0^t\log[(1-\mu_{s}(x))(1-\mu_{s}(y))]ds\end{aligned}$$ we replace $K$ \[theorem we have the corollary. Let $x, with $\|x\|<1, \|y\|<1$ and let $\mathcal{C}(x)$ $\mathcal{C}(y)$ be the Cayley transforms of $x$ and $y$, respectively. Then $$\begin{aligned} \int_0^1\log\frac{1-\mu_{1-s}(x)}{1+\mu_{s}(x)}ds \int_0^1\log\mu_s(\mathcal{C}(x))ds \leq\int_0^1\log\frac{1+\mu_s(x)}{1-\mu_s(x)}ds\end{aligned}$$ and $$\begin{aligned} \int_0^1\log\mu_
\log2\mu_s((y+i\mathbb{I})^{-1}(x-y)(x+i\mathbb{i})^{-1})ds\\
\leq& \int_0^t\Log\mu_S((y+i\MatHbB{I})^{-1})ds+\Int_E\Log2\mu_s(x-y)ds\\
&+\int_0^t\LOg\mu_S((x+i\mathbb{I})^{-1})ds\\
\leq& \int_0^t\log[\Mu_{1-s}^\elL(y+I\MathBB{I})]^{-1} Ds+\int_e\log2\mu_s(X-Y)dS\\
&+\INt_0^t\LoG[\mU_{1-s}^\eLl(X+I\mAthbb{i})]^{-1}ds\\
\Leq& \int_0^t\Log[1-\mu_{s}(y)]^{-1} ds+\iNt_E\LoG2\mu_s(x-y)ds\\
&+\int_0^t\LOg[1-\Mu_{s}(x)]^{-1}ds\\
=&\int_E\Log2\Mu_s(x-y)ds-\int_0^t\lOg[(1-\mU_{s}(x))(1-\mu_{s}(Y))]dS\enD{AlignEd}$$

IF we rePlace $K$ BY $[0, 1]$, in TheOrem \[theorEm 5.3\] WE have tHE followING cOrolLary.

Let $x, y\in\mathcaL{m}$ wITh $\|x\|<1, \|y\|<1$ and let $\mathCal{C}(x)$ aNd $\MAtHCAl{C}(Y)$ be The Cayley tRaNsforMS of $x$ and $Y$, ReSPECtiVEly. Then $$\begin{aLigned}
 \int_0^1\loG\FraC{1-\mu_{1-s}(x)}{1+\mU_{s}(X)}ds
 \LEq
\int_0^1\lOg\mu_s(\MaTHcaL{C}(x))ds \leq\int_0^1\Log\fRac{1+\mu_s(x)}{1-\mu_S(x)}ds\enD{Aligned}$$ ANd $$\begin{AligneD}
\inT_0^1\loG\mu_
\log2\mu_s((y+i\mathbb{I}) ^{-1}(x-y) (x+i\ mat hbb {I })^{ -1}) ds\\
\leq& \in t _0^t \log\mu_s((y+i\mathbb{ I})^{ -1 } )ds+ \ in t_E\l og2\mu_ s (x - y )ds \\ 
& +\i nt _ 0^ t\log \mu _s((x+i \mathbb{I} )^{ -1 })ds\\
\leq& \i nt_0^t\log [\m u_{1-s}^\ell (y+ i\math bb {I} ) ]^{-1 } d s+\in t_E\lo g 2\mu_s (x-y)ds\\ 
& + \int_0 ^ t\log[\ m u _{ 1-s} ^\ell(x+i\mathbb{ I }) ] ^{-1}ds\\
\leq & \int _0 ^ t\ l o g[1 -\m u_{s}(y)]^ {- 1} ds + \int_E\ l og 2 \ m u_s ( x-y)ds\\
&+\i nt_0^t\log[ 1 -\m u_{s}( x) ]^{ - 1}ds\\ 
=&\i nt _ E\l og2\mu_s(x- y)ds -\int_0^t \log[( 1 -\mu_{s } (x))(1- \mu_{s }(y ))] ds\e n d{ al ign ed } $$If  we rep lace $K$  b y$[0,1]$, i n Theo rem  \[t heore m 5.3\] we ha vethef oll owing  coro llar y. 

Let  $x, y \in\m at hcal{M}$ with $ \|x\ |<1, \|y\ |<1 $and  l et $\ m athcal {C} (x) $ and $ \mathca l {C} (y ) $ be  the Cayley transf or m s  o f $x$ an d $y$, re sp e ctively.  T hen  $$\ b e gin{a lign e d} 
 \int_0 ^1\log \ fr ac {1-\mu_ {1 -s}(x) }{ 1+\ mu_ {s}(x ) }ds \leq\int_0^1 \log\ m u_s(\mathcal{C } (x))ds \leq\i n t_ 0 ^ 1\ l og\f rac {1+\mu_s(x) }{1- \ mu_s (x)} d s\ end { align ed}$$  a n d$ $\begin{aligned}
\i nt _0^1\l og\mu _
\log2\mu_s((y+i\mathbb{I})^{-1}(x-y)(x+i\mathbb{I})^{-1})ds\\
\leq& \int_0^t\log\mu_s((y+i\mathbb{I})^{-1})ds+\int_E\log2\mu_s(x-y)ds\\
&+\int_0^t\log\mu_s((x+i\mathbb{I})^{-1})ds\\
\leq&_\int_0^t\log[\mu_{1-s}^\ell(y+i\mathbb{I})]^{-1} ds+\int_E\log2\mu_s(x-y)ds\\
&+\int_0^t\log[\mu_{1-s}^\ell(x+i\mathbb{I})]^{-1}ds\\
\leq&_\int_0^t\log[1-\mu_{s}(y)]^{-1} ds+\int_E\log2\mu_s(x-y)ds\\
&+\int_0^t\log[1-\mu_{s}(x)]^{-1}ds\\
=&\int_E\log2\mu_s(x-y)ds-\int_0^t\log[(1-\mu_{s}(x))(1-\mu_{s}(y))]ds\end{aligned}$$

If we replace_$K$ by_$[0,_1]$, in_Theorem_\[theorem 5.3\] we_have the following_corollary.

Let $x, y\in\mathcal{M}$ with_$\|x\|<1, \|y\|<1$ and_let_$\mathcal{C}(x)$ and $\mathcal{C}(y)$ be the Cayley transforms of $x$ and $y$, respectively. Then $$\begin{aligned}
_\int_0^1\log\frac{1-\mu_{1-s}(x)}{1+\mu_{s}(x)}ds
_\leq
\int_0^1\log\mu_s(\mathcal{C}(x))ds \leq\int_0^1\log\frac{1+\mu_s(x)}{1-\mu_s(x)}ds\end{aligned}$$_and_$$\begin{aligned}
\int_0^1\log\mu_