נכפיל ב<math>n</math> (חיובי) את אגפי האי-שוויון: <math>nb_{2^{k+1}}\leq nb_n \leq nb_{2^k}</math>
נשתמש שוב בתוצאה האלגברית: <math>0\leftarrow \frac{1}{2}2^{k+1}b_{2^{k+1}}=2^kb_{2^{k+1}}\leq nb_{2^{k+1}}\leq nb_n \leq nb_{2^k}\leq 2^{k+1}b_{2^k}\rightarrow 0</math>\
ולכן לפי [[משפט הסנדוויץ']] נקבל את הדרוש, <math>nb_b\rightarrow 0</math>.
'''דרך נוספת:''' יהי <math>\epsilon>0</math>. תהי <math>S_n=\sum_{k=1}^n b_k</math> סדרת הסכומים החלקיים מכיון . מכיוון שהטור מתכנס ומהעובדה ש<math>b_n</math> חיובית נקבל שקיים <math>n_0\in \Bbb N</math> כך שלכל
<math>n>n_0</math> מתקיים <math>S_n=\sum_{k=1}^n b_k<\epsilon</math>. כלומר