Extreme value theorem