lean_workbook_plus_16244
ProvedProve that if and then:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_16244 (a b c : ℝ) (ha : a>0 ∧ b>0 ∧ c>0 ∧ a+b+c=3) : a^4+b^4+c^4 ≥ a^3+b^3+c^3 := by sorry
Source
Prove that if and then:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_16244 (a b c : ℝ) (ha : a>0 ∧ b>0 ∧ c>0 ∧ a+b+c=3) : a^4+b^4+c^4 ≥ a^3+b^3+c^3 := by sorry