2021 USAMO Problems/Problem 6