I believe that it is the same as the epsilon delta proof. Basically, given epsilon > 0, you need to find an N such that n> N implies the magnitude of an times bn is < epsilon. To do this you need to use the epsilon-delta definitions of an and bn's convergences.