x-lnx=lnex-lnx=ln(ex/x)
因为x>1,ex>e>1,ex>x,(ex/x)>1,ln(ex/x)>0,故x-lnx>0,即x>lnx