lean_workbook_plus_57541
DisprovedLet , , be real numbers. Prove that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_57541 : ∀ a b c : ℝ, a^3 + b^3 + c^3 ≥ a^2 * b + b^2 * c + c^2 * a := by sorry
Source
Let , , be real numbers. Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_57541 : ∀ a b c : ℝ, a^3 + b^3 + c^3 ≥ a^2 * b + b^2 * c + c^2 * a := by sorry