不等式への招待 第10章

250 ：１３２人目の素数さん：2019/11/11(月) 01:05:02.45 ID:RnIwgTT0.net

a,b,c>0 に対して、
1/a + 1/b + 1/c ≦ (a^8 + b^8 + c^8)/(a^3 b^3 c^3).

IMO 1967 らしい