Seminário apresentado pelo professor Arthur Avila no II Competição Iberoamericana Interuniversitária de Matemática.