Incluida a prova de que inf f_n e sup f_n são mensuráveis se (f_n) é mensurável