>>272
a+b+c+d>=4*(abcd)^(1/4)=4
なら計算しましたけどそれ以上計算が進みませんでした・・・