lean_workbook_plus_22083
Disprovedprove
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_22083 : ∀ a b c : ℝ, (a^2 / b + b^2 / c + c^2 / a) ≥ a + b + c := by sorry
Source
prove
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_22083 : ∀ a b c : ℝ, (a^2 / b + b^2 / c + c^2 / a) ≥ a + b + c := by sorry