Title: On the definition of the sum of a divergent series,