即是證明 lnx+2/(ex)>1/(e^x)恒成立
令f(x)= lnx+2/(ex),y(x)=1/(e^x) (0,+∞)
y(x)'=-1/(e^x)
對f(x)求導,并令f(x)'≥0：
f(x)'=1/x -2/(ex^2)=(ex-2)/(ex^2)≥0
解得：
增區(qū)間為：[2/e,+∞)
減區(qū)間為：(0,2/e]
故：f(x)min=f(2/e)=ln2
y(2/e)=1/[e^(2/e)]≈0.479y(a)
又因為在該區(qū)間上,limx~0[f(x)]=+∞>limx~0[y(x)]=1
故可得到在x~[2/e,+∞)上,也有：
f(x)= lnx+2/(ex)>y(x)=1/(e^x)
因此綜上可得：
在x~(0,+∞)上,恒有l(wèi)nx+2/(ex)>1/(e^x),即是恒有l(wèi)nx>1/(e^x)-2/ex
原式得證