EGMO 2023 | Problem 3 | Official Solution