Theorem 4.1
(Ellenberg-Gijswijt, following Croot-Lev-Pach)
.
Assuming that:
A
⊆
𝔽
3
n
contains no non-trivial 3 term arithmetic progressions
Then
|
A
|
=
o
(
2
.
7
5
6
)
n
.