Lemma.
For
x
≥
1
,
∑
p
≤
x
1
p
=
∫
1
x
π
(
t
)
t
2
d
t
+
O
(
1
)
.