Theorem: exercise2_5 (LeanCourse/Assignments/Assignment2.lean)

State before:
s t : ℕ → ℕ
k : ℕ
⊢ EventuallyGrowsFaster (fun n => n * s n) s
Tactic:
sorry
State after:
no goals