The first modern definition of the sum of a divergent series: An aspect of the rise of 20th century mathematics