a<b
0<cならc^xは増加関数
よってa^a,b^bは増加関数
a^a<a^b,a^b<b^bより
a^a<b^b