〔問題47〕
　実数 a,b,c >0 に対して、以下の不等式が成り立つことを示せ：
　(ab+bb+aa)(bb+bc+cc)(aa+cc+ca) ≧ (ab+bc+ca)^2,

IMO Long List 1990, day 1, 問77
Inequalitybot [47]
https://twitter.com/Inequalitybot/status/1753569134263337347
https://twitter.com/thejimwatkins