Assertion: important function | /r/ObjectUse | used in proof
Facets:
Source sentences:
text: These important functions (which are not arithmetic functions) are defined for non-negative real arguments, and are used in the various statements and proofs of the prime number theorem.