Arzelà–Ascoli_theorem loading ...