lean_workbook_plus_74923
ProvedProve:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74923 (a b c: ℝ) : (1+ a^2)*(1+ b^2)*(1+ c^2) ≥ (a+b)*(b+c)*(c+a) := by sorry
Source
Prove:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74923 (a b c: ℝ) : (1+ a^2)*(1+ b^2)*(1+ c^2) ≥ (a+b)*(b+c)*(c+a) := by sorry