证：
设函数Y=(InX)/X
求导可得Y在（e,无穷）为减函数,则(Ina)/a > (Inb)/b
则 b/a > (Inb)/(Ina)
则 b*(Ina) > a*(Inb)
a^b>b^a两边取对数即得上式,得证.