Theorem: Section2sheet6.tendsTo_zero_mul_tendsTo_zero (FormalisingMathematics2024/Section02reals/Sheet6.lean)

State before:
a b : ℕ → ℝ
ha : TendsTo a 0
hb : TendsTo b 0
⊢ TendsTo (fun n => a n * b n) 0
Tactic:
sorry
State after:
no goals