Prove2Me

lean_workbook_plus_43029

Disproved

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

  ⟹  18−x22≥(6−x)24\implies{\frac{18-x^2}{2}\geq{\frac{(6-x)^2}{4}}}

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43029 : ∀ x : ℝ, (18 - x ^ 2) / 2 ≥ (6 - x) ^ 2 / 4   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph