2020 USOMO Problems/Problem 5