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