lean_workbook_plus_66781
Provedif , prove that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_66781 (a b : ℝ) (h : a < b) (h1 : 0 < a) : a^3 - 3*a - 2 ≤ b^3 - 3*b + 2 := by sorry
Source
if , prove that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_66781 (a b : ℝ) (h : a < b) (h1 : 0 < a) : a^3 - 3*a - 2 ≤ b^3 - 3*b + 2 := by sorry