theorem Th2: :: COMSEQ_2:2

for s being Complex_Sequence
for n being Nat ex r being Real st
( 0 < r & ( for m being Nat st m <= n holds
|.(s . m).| < r ) )