IMO 2024 - Problem 5