Endlich viele Summanden (hier max. \(N\)), die die Bedingung nicht erfüllen, spielen für Konvergenz/Divergenz keine Rolle. Wir können daher \(N=0\) annehmen.
Wir wissen dann \(\forall n: |a_{n+1}|\le q |a_n|\), also \(|a_n|\le q^n |a_0|\), damit hast Du Deine Abschätzung mit \(b:=|a_0|\).