www26ccccom

令f(x)=e^x -x,x>=0

则f'(x)=e^x-1,当x>0,f‘(x)>0 单调递增

又f(0)=0,所以当x>0时 f(x)>0,即e^x-x>0

x<e^x, 两边同时取倒数得:1/x >1/e^x

所以有:lnx+3/(4x^2)-1/(e^x)>lnx+3/(4x^2)-1/x

令g(x)=lnx+3/(4x^2)-1/x,x>0

令g'(x)=1/x-3/2x^2+1/x^2=(2x-1)/2x^2=0,解得x=1

有0<x<1时,g'(x)<0,x>1时g'(x)>0

所以g(x)在x=1/2处取得最小值

g(1/2)=-ln2+3-2=1-ln2=lne-ln2>0

即g(x)>0

所以lnx+3/(4x^2)-1/(e^x)>g(x)>0

原不等式得证