Assertion: series's sum | /r/CapableOf | use definition
Facets:
Source sentences:
text: where the last sum is simply the first sum rewritten using the definitions ξ n = n/T, and Δξ = n + 1/T − n/T = 1/T.