JBMO 2023  | Problem 3 - Official Solution