“数列Xn,Yn满足lim(n->正无穷)Xn*Yn=0,若Xn有界则Yn必为无穷小 ” 这一命题正确吗 为什么