lean_workbook_plus_2110
ProvedGiven , prove
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_2110 (α β γ : ℝ) (h : α + β + γ ≥ 6) (habc : α * β * γ = α + β + γ + 2) : α * β * γ ≥ 8 := by sorry
Source
Given , prove
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_2110 (α β γ : ℝ) (h : α + β + γ ≥ 6) (habc : α * β * γ = α + β + γ + 2) : α * β * γ ≥ 8 := by sorry