correção na definição de f_n na demostração de teo 5.20