I would like to know how to prove that the set of distribution functions with the modified Lévy metric, known as the Sibley metric, is a compact space. Sibley gave a proof in his 1972 article but it's hard for me to follow that proof.
Thanks in advance
ps: I'm a MSc student from the Sorbonne University. The question is related to my master's dissertation on Menger spaces.