Fisher-Tippet-Gnedenko Theorem