lean_workbook_plus_80738
ProvedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_80738 (x : ℝ) : (x^2 / (x^2 - x + 2) : ℝ) ≤ 8/7 := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_80738 (x : ℝ) : (x^2 / (x^2 - x + 2) : ℝ) ≤ 8/7 := by sorry