证明：
设函数f(x)=x-(1+lnx)
则f'(x)=1-1/x
∵x＞1,∴0＜1/x＜1
∴1-1/x＞0
∴函数f(x)在(1,+∞)上单调递增
∴f(x)＞f(1)=0
∴x-(1+lnx)＞0
∴x＞1+lnx