CMO 1984 Problem 5

Given any $7$ real numbers, prove that there are two of them $x,y$ such that $0\le\frac{x-y}{1+xy}\le\frac{1}{\sqrt{3}}$ .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.