P
Initializing...
Erdős #195: a permutation of $\mathbb{Z}$ with no monotone $4$-term AP · Prove2Me