theorem Th44:
  (m|^(m+1)) rExpSeq is convergent & lim ((m|^(m+1)) rExpSeq) = 0
   proof
     (m|^(m+1)) rExpSeq is summable by SIN_COS:45;
     hence thesis by SERIES_1:4;
   end;
