17/09/08 18:03:30.03 iwl1FmH8.net
>>930
> 〔補題〕
> a,b>0 のとき a^a + b^b ≧ a^b + b^a,
この間からずっと探していて、先程手書きメモから発掘。そのメモによると、
a,b,c,d>0 かつ ab≧cd かつ b = min{a,b,c,d} のとき、a+b ≧ c+d ……(☆)
対称性から a≧b として、(a^a)(b^b) ≧ (a^b)(b^a) かつ a^a, a^b, b^a ≧ b^b で、(☆)を適用。
とだけ書きなぐってあった。例によって出典メモもなく、数学板の過去ログを検索してもヒットせず。