Assertion: wheel's circumference | /r/HasProperty | sufficient
Facets:
Source sentences:
text: 1 ≥ x {\displaystyle np_{i+1}\geq x} (i.e. wheel generation can stop when the last wheel passes or has a sufficient circumference to include the highest number in the sieving range).