lean_workbook_plus_26033
DisprovedProve that if
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_26033 (a b : ℝ) (hab : a > b) (hb : b > 0) : (a + 1) / (b + 1) ≥ a / b := by sorry
Source
Prove that if
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_26033 (a b : ℝ) (hab : a > b) (hb : b > 0) : (a + 1) / (b + 1) ≥ a / b := by sorry