lean_workbook_plus_76615
ProvedFor all real ,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_76615 (x : ℝ) : x^6 + 2 ≥ x^3 + x^2 + x := by sorry
Source
For all real ,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_76615 (x : ℝ) : x^6 + 2 ≥ x^3 + x^2 + x := by sorry