theorem Th26: :: CLOPBAN4:26

for X being Complex_Banach_Algebra
for z being Element of X
for n being Nat holds 0 <= (||.z.|| rExpSeq) . n