Imo 2022 problem 5. Problem (IMO 2024, problem 1).