Out of all the subsets of $\lbrace 0, 1, 2, ..., n \rbrace$ for some given $n$, how do I compute the size of the largest subset that has no arithmetic progressions with 3 or more elements?
I suspect this may be a well researched problem but I can't seem to divine the appropriate search terms.