lean_workbook_plus_34650
DisprovedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_34650 : ∀ a b c : ℝ, (a + 1 / (a + 4)) * (b + 9 / b) * (c + 1 / (c + 4)) > 3 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_34650 : ∀ a b c : ℝ, (a + 1 / (a + 4)) * (b + 9 / b) * (c + 1 / (c + 4)) > 3 := by sorry