Espacos métricos - Lima, Elon Lages (Projeto Euclides, 2017)