lean_workbook_plus_10506
DisprovedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_10506 : ∀ a b c : ℝ, (a^2/(1 + b * c) + b^2/(1 + c * a) + c^2/(1 + a * b) ≥ 3/4) := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_10506 : ∀ a b c : ℝ, (a^2/(1 + b * c) + b^2/(1 + c * a) + c^2/(1 + a * b) ≥ 3/4) := by sorry