theorem Th8: :: IRRAT_1:8

for k being Nat holds
( aseq k is convergent & lim (aseq k) = 1 )