The Arzelà–Ascoli theorem