设xo是方程lnx+x=4的解,则xo属于区间