boundedness theorem

  1. REDIRECT Extreme value theorem{{R from other name}}