You need to know: Notation for the set of integers, notation
for the size of set A.
Background: For , denote
and
. For
and positive integer k, denote
and
, where A in the sum and in the product is repeated k times.
The Theorem: On 3rd September 2003, Jean Bourgain and Mei-Chu Chang submitted to arxiv a paper in which they proved that for any integer there is an integer
such that
holds for any non-empty finite set
.
Short context: In 1983, Erdős and Szemerédi proved the existence of positive constants c and such that inequality
holds for any non-empty finite set
(see here for a finite field analogue of this result). The Theorem states that if we consider k-fold sums and products for sufficiently large k, then exponent
in the Erdős-Szemerédi theorem can be replaced by an arbitrary large constant.
Links: Free arxiv version of the original paper is here, journal version is here.