lean_workbook_plus_27684
Disprovedprove:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_27684 : ∀ r : ℝ, 2 / (1 + r + r^2 + r^3) ≥ 1 / (1 + r^3) := by sorry
Source
prove:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_27684 : ∀ r : ℝ, 2 / (1 + r + r^2 + r^3) ≥ 1 / (1 + r^3) := by sorry