Gelfand's Spectral Radius Formula