lim(x-0) x*sin(1/x)=0证明