Difference between revisions of "2020 USAJMO Problems/Problem 4"