设x 0 是方程lnx+x=4的解,则x 0 属于区间 [ ] A.(0