Ettersom er komplett konvergerer følgen mot en grense – for enhver gitt , konvergerer følgen mot et reelt tall. Ettersom denne er veldefinert for alle x i er grensen definert for alle slike x.