2013 USAMO Problems/Problem 4