lean_workbook_plus_78595
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78595 : ∀ x y : ℝ, x^2 + x*y + y^2 ≥ 3/4 * (x + y)^2 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78595 : ∀ x y : ℝ, x^2 + x*y + y^2 ≥ 3/4 * (x + y)^2 := by sorry