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

State before:
s t : ℕ → ℕ
k : ℕ
s₁ s₂ t₁ t₂ : ℕ → ℕ
h₁ : EventuallyGrowsFaster s₁ t₁
h₂ : EventuallyGrowsFaster s₂ t₂
⊢ EventuallyGrowsFaster (s₁ + s₂) (t₁ + t₂)
Tactic:
sorry
State after:
no goals