Cauchys grenseverditeorem sier at det aritmetiske gjennomsnittet av leddene i en konvergent følge går mot grenseverdien til følgen.