Fisher–Tippett–Gnedenko theorem