lean_workbook_plus_34933

import Mathlib.Analysis.Complex.Basic

theorem lean_workbook_plus_34933 (a b c : ℝ) : a^4 + b^4 + c^4 + a * b * c * (a + b + c) ≥ a * b^3 + a * c^3 + b * a^3 + b * c^3 + c * a^3 + c * b^3   :=  by sorry