lean_workbook_plus_22152

Proved

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

Prove that $a^6 + b^6 + c^6 \geq 3a^2b^2c^2$ using AM-GM.

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_22152 (a b c : ℝ) : a ^ 6 + b ^ 6 + c ^ 6 ≥ 3 * a ^ 2 * b ^ 2 * c ^ 2   :=  by sorry

Source