Integraaltest
De integraaltest is een onderscheidend kenmerk dat bruikbaar is bij reeksen met niet-negatieve, niet-stijgende termen. Hierbij wordt de reeks vervangen door een oneigenlijke integraal die zo gekozen is dat hij evenals de reeks convergeert of divergeert. De evaluatie van de oneigenlijke integraal − convergent of divergent − zegt dus of de reeks zelf convergeert of divergeert. Indien de reeks een eindig aantal negatieve termen bevat, kan het deel van de reeks vanaf de eerste tot en met de laatste negatieve term weggelaten worden. Dit verandert niets aan het feit of de reeks convergeert of divergeert. In de rest van dit artikel wordt daarom aangenomen dat de volledige reeks uit niet-negatieve, niet-stijgende termen bestaat.

Formulering
Beschouw een reeks met niet-negatieve, niet-stijgende termen . Niet-stijgend betekent dat elke term van de reeks gevolgd wordt door een term die ofwel gelijk is, ofwel kleiner. Stel dat de functie  ontstaat door de gehele variabele  in de algemene reeksterm  te vervangen door de reële variabele . Indien de functie  bestaat en continu is op het interval  en eveneens niet-stijgend is zijn de reeks

en de daaruit ontstane oneigenlijke integraal

samen convergent of samen divergent. 
Wel is het zo dat bij convergentie de totale reekssom en de waarde van de integraal in het algemeen verschillend zullen zijn.

Bewijs
 
Men beschouwt op bijgaande figuur het interval [0 , N+1], dat bestaat uit N+1 kleinere intervallen [n , n+1] met lengte 1. Voor elk van die afzonderlijke intervallen geldt  
 waarbij 
Omdat dit geldt voor de N+1 intervallen afzonderlijk, geldt dit ook voor hun som zodat
    
Deze ongelijkheid geldt voor elke N, en dus ook als de limiet van N gaande naar oneindig wordt genomen:
    

Dit leidt tot twee besluiten: 
Stel nu dat de oneigenlijke integraal in het middelste lid van de ongelijkheid convergeert, en dus een eindige waarde heeft. Dan is de limiet aan de linkerkant naar boven begrensd, en gezien deze ook stijgend is (want de termen van de reeks zijn positief of nul), bestaat die limiet ook en is hij eindig. De reeks links heeft dus een eindige totale reekssom en is dus convergent. Bijgevolg is ook de originele reeks die rechts staat convergent want deze telt slechts één term meer, namelijk . Besluit: convergentie van de oneigenlijke integraal impliceert convergentie van de reeks.
Stel nu dat de oneigenlijke integraal divergeert, wat hier betekent dat limiet ervan naar oneindig gaat, want de functie is nergens negatief en de integraal kan dus alleen maar groter worden als zijn bovengrens naar oneindig gaat. Dan is ook de limiet aan de rechterkant oneindig, want hij is minstens zo groot als de limiet van de oneigenlijke integraal. De reeks rechts heeft dus een oneindige reekssom en is dus divergent. Besluit: divergentie van de oneigenlijke integraal impliceert divergentie van de reeks.
Door toepassing van de regel betreffende de logische implicatie 

volgt uit deze twee besluiten respectievelijk
Als de reeks divergeert, divergeert de oneigenlijke integraal ook.
Als de reeks convergeert, convergeert de oneigenlijke integraal ook.
De reeks vertoont dus steeds hetzelfde convergentie- of divergentiegedrag als de bijhorende oneigenlijke integraal of anders gezegd, de reeks en de bijhorende oneigenlijke integraal zijn beide convergent of beide divergent.

Voorbeelden
Een eerste voorbeeld is de harmonische reeks

waarvan de convergentie of divergentie kan worden nagegaan aan de hand van de oneigenlijke integraal die ontstaat door de index  te vervangen door de reële variabele :

Deze oneigenlijke integraal is divergent. En de reeks waaruit hij ontstaan is, de harmonische reeks, is dat dus ook.
De reeks

heeft als bijhorende oneigenlijke integraal:
 
De integrand (de functie waarvan de integraal moet worden berekend) heeft als primitieve functie, verkregen met partiële integratie

Na evaluatie van de integraal blijkt deze te convergeren met waarde . Bijgevolg is de reeks waaruit hij ontstaan is, ook convergent. De reekssom is, afgerond op acht decimalen, gelijk aan . Dit is een waarde van de eerste afgeleide functie van de Riemann-zèta-functie.
De convergentie van deze reeks kan ook worden nagegaan met de condensatietest van Cauchy.

Noten 

Wiskundige reeks