On a compact [metric space](/page/Metric%20Space), an equicontinuous pointwise bounded family of real-valued functions is uniformly bounded. The theorem converts local control from equicontinuity and pointwise bounds into a global bound using compactness.