lean_workbook_plus_82692
ProvedProve that for all , the inequality holds.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_82692 (a : ℝ) (ha : 0 < a) : (a^4 + 9) / (10*a) > 4/5 := by sorry
Source
Prove that for all , the inequality holds.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_82692 (a : ℝ) (ha : 0 < a) : (a^4 + 9) / (10*a) > 4/5 := by sorry