xml文件是什么:求证:当x>0,且x≠1时,不等式xlnx>x-1成立。