Proving the spectral radius formula using holomorphic functional calculus. At the moment I am reading lecutre notes of a professor at my uni available online on his webpage here. 
Now I want to understand the proof of the following theorem on page 222:

Theorem 5.20: Let $X$ be a nonzero complex Banach space and let $A \in L^c(X)$ (set of bounded linear operators form $X$ to $X$). Then the the spectrum of A, $\sigma(A)$, is non-empty and $$r_A := \lim_{n \to \infty}||A^n||^{1/n} = \sup_{\lambda \in \sigma(A)}|\lambda|.$$

The proof uses to my understanding what is called holomorphic functional calculus, which is introduced starting at page 213. My problems start at page 223 in the proof of Theorem 5.20. On the upper half of the page right after using the cauchy-integral formula, the author states that he uses the complex version of the Hahn-Banach Theorem to prove that 
$$\langle x^*, A^{n-1}x \rangle = ...=\frac{1}{2 \pi i}\int_{\gamma} \frac{\langle x^*,R(z)x \rangle}{z^{n+1}}dz$$
implies
$$A^n= \frac{1}{2 \pi i}\int_\gamma \frac{R(z)}{z^{n+2}}dz= ...= \int_{0}^{1} \frac{R(\gamma(t))}{\gamma(t)^{n+1}}dt$$
But I do not see at all how this is possible. 
Any suggestions or explanations are greatly appreciated. Thanks a lot in advance!
 A: The formula
$$\langle x^*, A^{n-1}x\rangle=\int_\gamma \left\langle x^*, \frac{R(z)}{2\pi i z^{n+1}}x\right\rangle$$
holds for all functionals $x^*$. Hahn Banach tells you that there are enough functionals to imply that this is an equality of operators:
$$A^{n-1} = \frac1{2\pi i }\int_\gamma R(z)/z^{n+1}.$$
(The integral probably is supposed to converge in the weak or strong operator topology). This holds for any $n$, so the first equation of the second line follows. The second equation follows if you plug in the explicit form of $\gamma$.
A: The resolvent $R(\lambda)$ is a series in $1/\lambda$ for $|\lambda| > r_{\sigma}(A)$ that is given by
$$
            R(\lambda) = \sum_{n=0}^{\infty}\frac{1}{\lambda^{n+1}}A^n.
$$
(You can check that $AR(\lambda)-\lambda R(\lambda)$=I.) Because of this,
$$
            \frac{1}{2\pi i} \oint_{|\lambda|=r > r_{\sigma}(A)}\lambda^n R(\lambda)d\lambda = A^n.
$$
And, of course this makes sense in terms of the functional calculus. So something strikes me as wrong in what you've written.
