Difference between revisions of "2011 USAJMO Problems/Problem 2"