lean_workbook_plus_46376

Proved

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

Given the inequality $(w - \frac{3}{2})^2 + \frac{3}{4} > 0$ , prove that it is true for all real numbers $w$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_46376 : ∀ w : ℝ, (w - 3 / 2)^2 + 3 / 4 > 0   :=  by sorry

Source