Fisher–Tippet–Gnedenko theorem