lean_workbook_plus_66553
DisprovedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_66553 : ∀ a b : ℝ, a^3 + a^3 * b^3 + 1 ≥ a^3 * b + a^2 * b^2 + a := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_66553 : ∀ a b : ℝ, a^3 + a^3 * b^3 + 1 ≥ a^3 * b + a^2 * b^2 + a := by sorry