[23] a_n → a (as n → ∞) ∧ b_n → b (as n → ∞) ⇒ a_n・b_n → ab (as n → ∞)

http://t.co/qnqYwLk