EGMO 2023 | Problem 1 | Official Solution