Large sets with small doubling modulo are well covered by an arithmetic progression
We prove that there is a small but fixed positive integer such that for every prime larger than a fixed integer, every subset of the integers modulo which satisfies and is contained in an arithmetic progression of length . This is the first result of this nature which places no unnecessary restrictions on the size of .