设a>0,函数f(x)=lnx-ax,若f(x)有两个相异零点x1,x2,求证:x1*x2>e².