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^+$.
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^+$.