已知x0是方程lnx x=4的根,且x0属于(k,k 1),k属于N ,求k