Difference between revisions of "2020 USAMO Problems/Problem 1"