lean_workbook_plus_6591
ProvedGiven , prove that for all .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_6591 (x : ℝ) (hx: x >= 2) : x + 1/(x+2) >= 9/4 := by sorry
Source
Given , prove that for all .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_6591 (x : ℝ) (hx: x >= 2) : x + 1/(x+2) >= 9/4 := by sorry