Assertion: function's statement | /r/CapableOf | hold for the pi function
Facets:
Source sentences:
text: A similar statement holds for the pi function as well, using the Π(n)