lean_workbook_plus_51141

Let $f$ be the multiplicative arithmetic function defined by $f(1)=1$ and $f(p^a)=pf(a)$ for all primes $p$ and all positive integers $a$. Prove that $f(n)\leq n$ for all $n$.