lean_workbook_plus_44543
ProvedShow that for all real numbers \n \n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_44543 (x:ℝ) : x^4 ≥ 4*x-3 := by sorry
Source
Show that for all real numbers \n \n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_44543 (x:ℝ) : x^4 ≥ 4*x-3 := by sorry