The extreme value theorem