2017 USAMO Problems/Problem 6