由高阶无穷小的定义有
lim( o(g(x)))+o(g(x)) )/(g(x))
= lim o(g(x))/(g(x)) + lim o(g(x))/(g(x))
=0+0=0
所以o(g(x))+o(g(x))=o(g(x))