lean_workbook_plus_5309
ProvedFind the maximum value of given .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5309 (x y : ℝ) (h : x + y = 10) : x*y ≤ 25 := by sorry
Source
Find the maximum value of given .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5309 (x y : ℝ) (h : x + y = 10) : x*y ≤ 25 := by sorry