The set M={1,2,…,2007} has the following property: If n is an element of M, then all terms in the arithmetic progression with its first term n and common difference n+1, are in M. Does there exist an integer m such that all integers greater than m are elements of M? arithmetic sequencecombinatorics proposedcombinatorics