{an}是无穷小数列→对于任意E/M>0,存在N是正整数,当n>N时,|an|{bn}有界,则|bn|≤M∴存在N是正整数,当n>N时,|an*bn-0|=|an|*|bn|即lim(n→∞)anbn=0
