RU-ALLRUSSIAN 1982 Problem 17
A real number is assigned to each unit square in an infinite sheet of squared paper. Show that some cell contains a number that is less than or equal to at least four of its eight neighbors.
Dataset text NuminaMath olympiads. 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.