( dseq is convergent & lim dseq = number_e )