Problem

Source: XII International Festival of Young Mathematicians Sozopol 2023, Theme for 10-12 grade

Tags: functional equation, algebra



Does there exist a function $f: \mathbb{Z}_{\geq 0} \to \mathbb{Z}_{\geq 0}$ such that \[ f(ab) = f(a)b + af(b) \]for all $a,b \in \mathbb{Z}_{\geq 0}$ and $f(p) > p^p$ for every prime number $p$? (Here, $\mathbb{Z}_{\geq 0}$ denotes the set of non-negative integers.)