2018 USAJMO Problems/Problem 2