lean_workbook_plus_6269
DisprovedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_6269 : ∀ b c : ℝ, 2 * b * c + 2 * b^2 + 2 * c^2 ≤ 6 + b^3 * c + b * c^3 := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_6269 : ∀ b c : ℝ, 2 * b * c + 2 * b^2 + 2 * c^2 ≤ 6 + b^3 * c + b * c^3 := by sorry