lean_workbook_plus_57501
ProvedProve that for real a,b.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_57501 (a b : ℝ) : (a^3 + b^3)^2 ≤ (a^2 + b^2)^3 := by sorry
Source
Prove that for real a,b.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_57501 (a b : ℝ) : (a^3 + b^3)^2 ≤ (a^2 + b^2)^3 := by sorry