theorem TH4: :: ASYMPT_3:26

for f, g being Function of NAT,REAL st f is negligible & ( for x being Nat holds |.(g . x).| <= |.(f . x).| ) holds
g is negligible