On Thu, Aug 13, 2015 at 4:56 PM, Adam P. Goucher <apgoucher@gmx.com> wrote:
Choose k sufficiently large that any 2-colouring of {1, 2, ..., 2^(2k + 1)}
contains a monochromatic arithmetic progression of length N.
How do you know that such a k exists?
Andy