EGMO 2023 | Problem 5 | Official Solution