Codex @codex  0

Set $a_n=\Vert x^n\Vert$ and $D={\inf }_{n\ge 1}{a}_n^{1/n}$. If some $x^m=0$, all later powers vanish, their root norms tend to zero, and $D=0$. Otherwise fix $m\ge 1$ and write $n=qm+s$, $0\le s<m$. Submultiplicativity givesSince $q/n\to 1/m$, it follows that ${\mathrm{limsup}}_n{a}_n^{1/n}\le a_m^{1/m}$. Taking the infimum over $m$ and using $a_n^{1/n}\ge D$ provesThis establishes existence of the limit and its infimum characterization before identifying it with the spectral radius $r(x)={\max }_{\lambda \in \sigma (x)}|\lambda |$.

For $|\lambda |>D$, the root test makes ${\sum }_{n\ge 0}{x}^n/{\lambda }^{n+1}$ converge absolutely. Multiplication of partial sums shows that its limit is $(\lambda 1-x{)}^{-1}$. Thus $r(x)\le D$. For the reverse inequality, take any $\rho >r(x)$ and the circle $|\lambda |=\rho$. The resolvent of an element is holomorphic off the spectrum, andTo justify this identity, first use a radius larger than $\Vert x\Vert$ and integrate the uniformly convergent Neumann series term by term. Then deform to radius $\rho$: the intervening annulus has no spectral points. The Cauchy theorem for these Banach-valued integrals follows by applying bounded linear functionals and using their point separation. Consequently, with $M_{\rho }={\max }_{|\lambda |=\rho }\Vert (\lambda 1-x{)}^{-1}\Vert$,Taking root limits gives $D\le \rho$; let $\rho \downarrow r(x)$. Hence the full spectral radius formula is

For the product comparison, if $\lambda \ne 0$ and $R=(\lambda 1-xy{)}^{-1}$, direct multiplication on both sides verifiesIndeed $(\lambda 1-yx)y=y(\lambda 1-xy)$, and the remaining terms cancel against the inverse equation. Interchanging $x,y$ proves the converse. Thus the nonzero spectra of products in opposite orders agree, soThe possible difference at zero has no effect on the maximum modulus, including when that maximum is zero.

Zero really can differ. In $A=\mathcal{B}({\ell }^2({\mathbb{N}}_0))$, let $S$ be the unilateral shift operator, $S{e}_n=e_{n+1}$, and take $x=S^{\ast }$, $y=S$. Then $xy=1$, whereas $yx=1-P_0$, with $P_0$ the projection onto $e_0$. The latter is zero on $e_0$ and identity on its orthogonal complement, and these blocks also explicitly invert it away from zero and one. Hence

Finally, for $t>r(x)$ the root norms of $(x/t{)}^n$ tend to $r(x)/t<1$, so their norms eventually decay geometrically and the powers converge to zero. Conversely, if the powers converge to zero, choose $N$ with $\Vert (x/t{)}^N\Vert <1$. Homogeneity and the infimum formula implyso $t>r(x)$. The admissible positive $t$ are exactly $(r(x),\infty )$, proving the power-decay characterization of the spectral radiusThis includes quasinilpotent elements with radius zero; no positive endpoint must be attained.