Proposition 6.2.14.label Let $x$ be an element of a unital Banach algebra $A$. If $\spec{A}{x}\suf\curl{\lam\in \com:-\pi<\Im\lam<\pi}$ then
\begin{align*}\log\exp x=x\end{align*}
Proof. By Spectral Mapping 6.2.11
\begin{align*}\spec{A}{\exp x}=\exp\parens{\spec{A}{x}}\end{align*}
Furthermore $\spec{A}{x}\suf\curl{\lam\in \com:-\pi<\Im\lam<\pi}$ hence
\begin{align*}\spec{A}{\exp x}=\exp\parens{\spec{A}{x}}\suf\com\del(-\infty,0]\end{align*}
This shows that $\spec{A}{\exp x}\suf\text{dom(Log)}$ so $\log\in \holon{\spec{A}{\exp x}}{\com}$ and by Spectral Mapping 6.2.11 with $f=\exp, g=\log$ we have
\begin{align*}\log\exp x=x\end{align*}
$\square$