Assertion: wheel | /r/HasAspect | sufficient circumference
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).