Theorem 2.20
(Roth’s theorem)
.
Assuming that:
A
⊆
[
N
]
=
{
1
,
…
,
N
}
A
contains no non-trivial 3 term arithmetic progressions
Then
|
A
|
=
O
(
N
log
log
N
)
.