Sean dadas dos sucesiones de enteros $f_i(1), f_i(2), \cdots (i = 1, 2)$ que satisfacen: $(i) f_i(nm) = f_i(n)f_i(m)$ si $\gcd(n,m) = 1$ ; $(ii)$ para cada primo $P$ y todo $k = 2, 3, 4, \cdots$ , $f_i(P^k) = f_i(P)f_i(P^{k-1}) - P^2f(P^{k-2}).$ Además, para cada primo $P$ : $(iii) f_1(P) = 2P,$ $(iv) f_2(P) < 2P.$ Demuestre que $|f_2(n)| < f_1(n)$ para todo $n$ .