lean_workbook_plus_48359

Proved

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

Prove that for all $x, y, z \in \mathbb{R}$ , $x^{2}+y^{4}+z^{8}\geq 2x+4y+8z-11$ using Bernoulli's inequality.

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_48359 (x y z : ℝ) : x^2 + y^4 + z^8 ≥ 2*x + 4*y + 8*z - 11   :=  by sorry

Source