lean_workbook_plus_42314

Proved

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

Show that all roots of the equation $h(x)=x^4-14x^3+64x^2-114x+63=0$ lie in the interval $(0,14)$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_42314 (x : ℝ) : x^4 - 14 * x^3 + 64 * x^2 - 114 * x + 63 = 0 → 0 < x ∧ x < 14   :=  by sorry

Source