lean_workbook_plus_74487
ProvedLet such that : , Prove that :
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74487 (a : ℝ) (ha : a - a^3 + a^5 >= 3) : a^6 >= 5 := by sorry
Source
Let such that : , Prove that :
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74487 (a : ℝ) (ha : a - a^3 + a^5 >= 3) : a^6 >= 5 := by sorry