Let(un)and(vn)be two series with positive terms: 1. If the series(vn)converges then the relationun≪vn(resp.un∼vn) implies∑p=n∞up≪∑p=n∞vp(resp.∑p=n∞up∼∑p=n∞vp). 2. If∑n=1∞vn=+∞then the relationun≪vn(resp.un∼vn) implies∑p=1nup≪∑p=1nvp(resp.∑p=1nup∼∑p=1nvp).
One obtains convenient convergence criteria by taking for the comparison series (vn) in prop. 1 a series whose terms are of the form vn=f(n), where f is a function ≥0 defined for every real number x>x0 and decreasing on the interval [x0,+∞[; indeed:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.