>>390
(a^2018 -a^30 +3)(b^2018 -b^30 +3)(c^2018 -c^30 +3)
≧ (a^1988 +2)(b^1988 +2)(c^1988 +2)
≧ 3(a^1988 + b^1988 +1)(1+1+c^1988)
≧ 3(a^994 + b^994 + c^994)^2
≧ (1/3)*(a^497 + b^497 + c^497)^4

          r〜〜〜〜〜
   __    _ノ うっうっうっ・・・
  /__  `ヽ_ ⌒ヽ〜〜〜〜〜
  |〈___ノf レ1(
 ,L| しL.し'゙"
 "`  "′