lean_workbook_plus_49518
DisprovedProve that if , then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49518 : ∀ a b c : ℝ, a > 1 ∧ b > 1 ∧ c > 1 → 2 * b + 2 * c - 3 * b * c - 1 > 0 := by sorry
Source
Prove that if , then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_49518 : ∀ a b c : ℝ, a > 1 ∧ b > 1 ∧ c > 1 → 2 * b + 2 * c - 3 * b * c - 1 > 0 := by sorry