-
1 a a 0
{an} a ω∨0 N n∨N |an-a|∧ω a {an} lnimn 0{an}=a 0