EGMO 2023 | Problem 4 | Official Solution