lean_workbook_plus_69506
ProvedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_69506 (x : ℝ) : (x^6 + 1) / 2 ≥ x^3 := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_69506 (x : ℝ) : (x^6 + 1) / 2 ≥ x^3 := by sorry