Ist (an)(a_n)(an) monoton fallend, an≥0a_n\ge0an≥0 und an→0a_n\to0an→0, dann konvergiert die alternierende Reihe