f(x)=xlnx,g(x)=x/e^x-2/e.求证:m,n属于0到正无穷,都有f(m)大于等于g(n)成立