Seja f:N->N definida por f(1)=1 e f(n)=f(n-1)+f(parte inteira de n/2)
Mostre que existem infinitos naturais K tais que f(K) é múltiplo de 7.
Eu achei pra k=5 e k=14. f(5)=7 e f(14)=70. Acho q eh ateh óbvio de se imaginar que existem infinitos k. Só não consigo formalizar.
Vlw.