lean_workbook_plus_64735
Provedprove that : \n\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_64735 (x : ℝ) : 2 * (x^6 + 1) ≥ (x^3 + 1)^2 := by sorry
Source
prove that : \n\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_64735 (x : ℝ) : 2 * (x^6 + 1) ≥ (x^3 + 1)^2 := by sorry