lean_workbook_plus_15544
Disprovedor \n\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_15544 : ∀ p t : ℝ, (4 * p + 9) * (p - 3) ≥ (t - 3) * (36 - 8 * p) := by sorry
Source
or \n\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_15544 : ∀ p t : ℝ, (4 * p + 9) * (p - 3) ≥ (t - 3) * (36 - 8 * p) := by sorry