lean_workbook_plus_42340
ProvedCase 2: :
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_42340 (f : ℝ → ℝ) (hf: ∀ c > 0, f c > 1) : ∀ c > 0, ∃ k > 0, f c > k := by sorry
Source
Case 2: :
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_42340 (f : ℝ → ℝ) (hf: ∀ c > 0, f c > 1) : ∀ c > 0, ∃ k > 0, f c > k := by sorry