lean_workbook_plus_78620
ProvedIf is real number, prove that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78620 (a: ℝ) : a + a^3 - a^4 - a^6 < 3/4 := by sorry
Source
If is real number, prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78620 (a: ℝ) : a + a^3 - a^4 - a^6 < 3/4 := by sorry