Theorem 2.4
(Brun-Titchmarsh Theorem)
.
Assuming that:
x
≥
0
,
y
≥
2
𝜀
>
0
and
y
is large in terms of
𝜀
Then
π
(
x
+
y
)
−
π
(
x
)
≤
(
2
+
𝜀
)
y
log
y
.