lean_workbook_plus_14944
ProvedProve: for
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_14944 (t : ℝ) (ht: t >= 1): 3 * t + 1 / t ≥ 4 := by sorry
Source
Prove: for
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_14944 (t : ℝ) (ht: t >= 1): 3 * t + 1 / t ≥ 4 := by sorry