Малое решето

Устанавливается оценка сверху для простых чисел арифметической прогрессии на заданном интервале
$$ \pi(x+y;k,l)-\pi(x;k,l)\leqslant\frac{2y}{\varphi(k)(\ln(y/k)+c)},\quad c=1{,}584,\quad k\leqslant\frac{y}{c'}; $$
$c'$ – достаточно большая постоянная. Библ. 14 назв.