Da die Reihe über bn konvergiert, bilden die einzelnen Summanden bn eine Nullfolge. Daher gibt es ein m Element N ab dem die |bn| < 1.
Ab diesem m ist daher die Summe der |an*bn| eine konvergente Majorante, denn |an*bn| < |an|.
Nun kannst du die Summe aufteilen in eine endliche Summe bis m und eine unendliche Reihe, die du nach oben abschätzen kannst mit der Summe über |an|.
Endliche Summen kann man immer berechnen. Die unendliche Reihe als 2. Summanden auch.
==> Die fragliche Reihe konvergiert absolut. qed.
Jetzt ist dein Job noch das Ganze mit Summenzeichen etc. schön aufzuschreiben.