lean_workbook_plus_5966
ProvedProve that given .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5966 (s : ℝ) (hs : s > 0) : (s^3 + 2) / (3 * s) ≥ 1 := by sorry
Source
Prove that given .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5966 (s : ℝ) (hs : s > 0) : (s^3 + 2) / (3 * s) ≥ 1 := by sorry