lean_workbook_plus_39579

Proved

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

Find the minimum possible value of $f(x)=|x+1|+|x-2|+|x-3|$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_39579 (x : ℝ) : 4 ≤ |x + 1| + |x - 2| + |x - 3|   :=  by sorry

Source