Problem 5
Is it possible to choose distinct positive integers, all less than or equal to , no three of which are consecutive terms of an arithmetic progression? Justify your answer.
Step 4 of 4: Finish the construction
Detailed analysis
The binary-to-ternary digit map is injective, so the are distinct positive integers. Step 2 excludes every three-term arithmetic progression, and Step 3 gives the size bound. Thus the answer is yes.