lean_workbook_plus_70638

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

If $a \geq 0$ , prove $\frac{(a^{3}+b^{6})}{2} \geq 3ab^{2}-4$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_70638 (a b : ℝ) (ha : a ≥ 0) (hb : b ≥ 0) : (a^3 + b^6) / 2 ≥ 3 * a * b^2 - 4   :=  by sorry

Source