2015 USAMO Problems/Problem 3