>>857
　スマン。↓に訂正。

　(a^2)(3b+s)/(as+bs+3ab) + (b^2)(3c+s)/(bs+cs+3bc) + (c^2)(3a+s)/(cs+as+3ca) ≧ (2/3)ｓ,