Theorem 2.19
(Meshulam’s Theorem)
.
Assuming that:
A
⊆
𝔽
p
n
a set containing no non-trivial 3 term arithmetic progressions
Then
|
A
|
=
O
(
p
n
log
p
n
)
.