Problem

Source: 2018 Saudi Arabia IMO TST IV p1

Tags: number theory, divides, divisible, functional



Find all functions $f : Z^+ \to Z^+$ satisfying $f (1) = 2, f (2) \ne 4$, and max $\{f (m) + f (n), m + n\} |$ min $\{2m + 2n, f (m + n) + 1\}$ for all $m, n \in Z^+$.