Helly's selection theorem
In mathematics, Helly's selection theorem (also called the Helly selection principle) states that a uniformly bounded sequence of monotone real functions admits a convergent subsequence. In other words, it is a sequential compactness theorem for the space of uniformly bounded monotone functions.
Source: Wikipedia — Helly's selection theorem (CC BY-SA 4.0)