lean_workbook_plus_19176
Disprovedfor the first one:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_19176 : ∀ x y : ℝ, (x^3 / (x^2 + y^2) ≥ x - 1 / 2 * y) := by sorry
Source
for the first one:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_19176 : ∀ x y : ℝ, (x^3 / (x^2 + y^2) ≥ x - 1 / 2 * y) := by sorry