是的。证明可以直接通过定义来证。此题所问即xo(x)是否等于o(x2)，也即当lim xo(x)/x2是否等于0。事实上 lim xo(x)/x2=lim o(x)/x=0。最后一个等式是根据o(x)（x的高阶无穷小）的定义而来的。因此x乘x的高阶无穷小确实等于o(x2)。
