Rough number (source code)

= Rough number
{wiki}

= z-sieved number
{synonym}

A $z$-rough integer has no <prime factor> below $z$; $1$ is included. Some authors instead exclude <prime factors> at most $z$, so the endpoint convention should be stated.