lean_workbook_plus_26825
ProvedProve that for all positive
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_26825 (t : ℝ) (ht : 0 < t) : (t + 2) / (t * (t + 4)) ≥ (22 - 5 * t) / 36 := by sorry
Source
Prove that for all positive
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_26825 (t : ℝ) (ht : 0 < t) : (t + 2) / (t * (t + 4)) ≥ (22 - 5 * t) / 36 := by sorry