lean_workbook_plus_6933
Provedprove that \n\n \n\n given
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_6933 : ∀ c d : ℝ, c > 0 ∧ d > 0 → c^2 / d + d ≥ 2 * c := by sorry
Source
prove that \n\n \n\n given
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_6933 : ∀ c d : ℝ, c > 0 ∧ d > 0 → c^2 / d + d ≥ 2 * c := by sorry