lean_workbook_plus_70978
Provedprove for non-negative
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_70978 (a : ℝ) (ha : 0 ≤ a) : a / (a^3 + 4) ≤ (2*a + 3) / 25 := by sorry
Source
prove for non-negative
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_70978 (a : ℝ) (ha : 0 ≤ a) : a / (a^3 + 4) ≤ (2*a + 3) / 25 := by sorry