for X being Banach_Algebra
for s being sequence of X
for z being Element of X st ( for n being Nat holds s . n = z ) holds
lim s = z