已知X>0 求证 lnX恒成立
0.所以该函数单调增,得:e^x-x>e^0-0>"}}}'>