( dseq is convergent & lim dseq = Sum eseq )