y = √x は上に凸だからJensenで
√{(a cos x)^2 + (b sin x))^2} ≧ a(cos x)^2 + b(sin x)^2,
√{(b cos x)^2 + (a sin x)^2} ≧ b(cos x)^2 + a(sin x)^2,
辺々たす。
>>554 も同様