Exactly 6 six years ago I was there taking a course on Real Analysis by Gustavo Moreira.