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