Dimension-three upper-bound sieve
= Dimension-three upper-bound sieve
If three nonproportional linear forms exclude three distinct residue classes modulo every sufficiently large prime, the upper-bound sieve has dimension three and gives an upper bound of order $x/(\log x)^3$.