>>150
まず
(1/2)(a+1/a+b+1/b)^2≦(a+1/a)^2/2+(b+1/b)^2/2
を示します
これをa+b=1を利用して、両辺２倍したら
左辺＝(1+1/ab)^2/2で、これに相加相乗を適用します