lean_workbook_plus_63932
ProvedProve that if then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_63932 (a : ℝ) (ha : 1 < a) : 1 / (a - 1) + 1 / a + 1 / (a + 1) > 3 / a := by sorry
Source
Prove that if then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_63932 (a : ℝ) (ha : 1 < a) : 1 / (a - 1) + 1 / a + 1 / (a + 1) > 3 / a := by sorry