Assertion: sum | /r/HasProperty | the riemann zeta function
Facets:
Source sentences:
text: When the real part of s is greater than 1, the Dirichlet series converges, and its sum is the Riemann zeta function ζ(s).