lean_workbook_plus_66633
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_66633 : ∀ a b c : ℝ, c^4 + c^4 + a^4 + b^4 ≥ 4 * a * b * c^2 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_66633 : ∀ a b c : ℝ, c^4 + c^4 + a^4 + b^4 ≥ 4 * a * b * c^2 := by sorry