lean_workbook_plus_66067
ProvedProve that for
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_66067 (b c : ℝ) (hb : b ≥ 0) (hc : c ≥ 0): b^3 + c^3 + 8 - 6 * b * c ≥ 0 := by sorry
Source
Prove that for
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_66067 (b c : ℝ) (hb : b ≥ 0) (hc : c ≥ 0): b^3 + c^3 + 8 - 6 * b * c ≥ 0 := by sorry