lean_workbook_plus_45137
ProvedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_45137 {x : ℝ} (hx : 0 ≤ x ∧ x ≤ 1) : x^3 ≥ 4 * x - 3 := by sorrySource
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_45137 {x : ℝ} (hx : 0 ≤ x ∧ x ≤ 1) : x^3 ≥ 4 * x - 3 := by sorry