〔問題145．改〕
　正の実数 a,b,c >0 に対して以下の不等式が成立することを示せ：
　(a^3)/(b+2c) + (b^3)/(c+2a) + (c^3)/(a+2b)
　　　≧ (aa+bb+cc)^2 /{3(ab+bc+ca)}
　　　≧ (2aa +2bb +2cc -ab -bc -ca)/3,

ウクライナM.O.-1996
Inequalitybot [145]
https://twitter.com/Inequalitybot/status/1755018685985804339
https://twitter.com/thejimwatkins