lean_workbook_plus_3518
DisprovedProve or disprove that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3518 : ∀ a b c : ℝ, (c / (a + c))^3 + (a / (a + b))^3 + (b / (b + c))^3 ≤ 9 / 8 := by sorry
Source
Prove or disprove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3518 : ∀ a b c : ℝ, (c / (a + c))^3 + (a / (a + b))^3 + (b / (b + c))^3 ≤ 9 / 8 := by sorry