Assertion: series's sum | /r/HasProperty | 1/t − n/t = 1/t.
Facets:
value: simply
type: MANNER
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.