JBMO 2023  | Problem 4 - Official Solution