lean_workbook_plus_12740
Proveduse AM-GM inequality to prove
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_12740 (a b c : ℝ) : (a^2+b^2)*(a^2+c^2) ≥ 4*a^2*b*c := by sorry
Source
use AM-GM inequality to prove
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_12740 (a b c : ℝ) : (a^2+b^2)*(a^2+c^2) ≥ 4*a^2*b*c := by sorry