x^x=e^xlnx怎样来的啊?