EGMO 2023 | Problem 6 | Official Solution