2024 IMO Problems/Problem 1