2021 USAJMO Problems/Problem 6