lean_workbook_plus_56559
ProvedProve that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_56559 : ∀ a b : ℝ, a^2 + a * b + b^2 ≥ (3 / 4) * (a + b)^2 := by sorry
Source
Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_56559 : ∀ a b : ℝ, a^2 + a * b + b^2 ≥ (3 / 4) * (a + b)^2 := by sorry