Extreme value theorem (source code)

= Extreme value theorem
{wiki=Extreme_value_theorem}