lean_workbook_plus_65626
DisprovedProve that\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_65626 : ∀ a b c : ℝ, (1 / (a + b * c) + 1 / (b + c * a) + 1 / (c + a * b) ≥ 3 / 2) := by sorry
Source
Prove that\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_65626 : ∀ a b c : ℝ, (1 / (a + b * c) + 1 / (b + c * a) + 1 / (c + a * b) ≥ 3 / 2) := by sorry