Extreme-value theorem