lean_workbook_plus_48725
ProvedDetermine the largest value of x for which $ |x^2-4x-39601|\ge|x^2+4x-39601| $ .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_48725 (x : ℝ) : |x^2 - 4*x - 39601| ≥ |x^2 + 4*x - 39601| → x ≤ 199 := by sorry
Source