因为{Xn}有界，所以，存在M>0，成立|Xn|《M。对任给的d>0，因为Yn→0，所以，针对d/M>0，必存在N>0，使得当n>N时，成立|Yn-0|=|Yn|则此时成立|XnYn-0|=|Xn||Yn|《Md/M=d。证毕。
无穷小乘以有界函数仍然是无穷小
