lean_workbook_plus_58412
ProvedIf
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_58412 (a b c : ℝ) (h : a + b + c ≥ 3) : 6 / (a + b + c - 1) ≤ 3 := by sorry
Source
If
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_58412 (a b c : ℝ) (h : a + b + c ≥ 3) : 6 / (a + b + c - 1) ≤ 3 := by sorry