lean_workbook_plus_42777
ProvedLet x+y=S, xy=P ( )
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_42777 {x y S P : ℝ} (hx : x + y = S) (hy : x * y = P) : S^2 ≥ 4 * P := by sorrySource
Let x+y=S, xy=P ( )
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_42777 {x y S P : ℝ} (hx : x + y = S) (hy : x * y = P) : S^2 ≥ 4 * P := by sorry