Assertion: probability | /r/HasProperty | sequence
Facets:
Source sentences:
text: It will be shown later that the probability of such a run is 0, as is a sequence that converges to anything other than the underlying probability of the event.