Problem 1139 (difficulty: 7/10)
Prove that a uniformly bounded and uniformly Lipschitz sequence of functions has a uniformly convergent subsequence.