Category:Gelfand's Spectral Radius Formula