lean_workbook_plus_64916
ProvedIf prove that:\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_64916 : ∀ a b c : ℝ, a > 0 ∧ b > 0 ∧ c > 0 → a / (2 * a + b + c) + b / (2 * b + c + a) + c / (2 * c + a + b) ≤ 3 / 4 := by sorry
Source