lean_workbook_plus_80602
DisprovedProve that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_80602 : ∀ a : ℝ, a / (a ^ 2 + 4) ≤ (2 + 3 * a) / 25 := by sorry
Source
Prove that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_80602 : ∀ a : ℝ, a / (a ^ 2 + 4) ≤ (2 + 3 * a) / 25 := by sorry