To establish the relation between weak convergence and characteristic functions, the book I'm studying suggest without proof the following theorem:
For any tight sequence of probability measures, there exists a weakly convergent subsequence.
For the proof the author refers to "a rather difficult theorem", the Helly selection principle.
Can anyone suggest me a more simple and direct proof, at least for unidimensional case?