4: Halle una sucesión de enteros positivos $f(n)$ , $n \in \mathbb{N}$ tal que $(1)$ $f(n) \leq n^8$ para todo $n \geq 2$ , $(2)$ para cualesquiera números naturales $a_1,a_2,\cdots, a_k$ y $n$ distintos por pares, se tiene que $$f(n) \neq f(a_1)+f(a_2)+ \cdots + f(a_k)$$