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