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