2013 USAJMO Problems/Problem 1