4 Sea \( f: \mathbb{N}_+ \to \mathbb{R}_{\geq 0} \) una función que satisface \( f(1) = 1 \) , y para todo entero positivo \( n \) , tenemos \[f(n) = \sum_{p \text{ prime}} f(np)\] . Demuestre que para todo entero positivo \( n \) , \( f(n^2) \geq f(n)^2 \) .