SE-SKOLORNAS 1991 Problem 2

$x, y$ are positive reals such that $x - \sqrt{x} \le y - 1/4 \le x + \sqrt{x}$ . Show that $y - \sqrt{y} \le x - 1/4 \le y + \sqrt{y}$ .

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.