方程x+lgx=3的解x0属于