lean_workbook_plus_16938
ProvedProve given .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_16938 (a : ℝ) (h : a > 0) : a + a^3 ≥ 2 * a^2 := by sorry
Source
Prove given .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_16938 (a : ℝ) (h : a > 0) : a + a^3 ≥ 2 * a^2 := by sorry