theorem :: ASYMPT_3:24

for f being Function of NAT,REAL st f is negligible holds
( f is convergent & lim f = 0 )