Difference between revisions of "2016 USAJMO Problems/Problem 3"