lean_workbook_plus_47123
ProvedShow that if then
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_47123 (a:ℝ) (ha : a ≥ 0) : a^6 + 2 ≥ a^3 + a^2 + a := by sorry
Source
Show that if then
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_47123 (a:ℝ) (ha : a ≥ 0) : a^6 + 2 ≥ a^3 + a^2 + a := by sorry