Formalizar resultados básicos sobre sequências de números reais, limite, continuidade e diferenciabilidade de funções de uma variável real a valores reais, dando ênfase nas aplicações dos resultados mais importantes.