Compactness methods in Lieb's work

We review some compactness methods appearing in the work of Lieb, with an emphasis on the techniques developed around his 1983 article on the optimizers for the Hardy-Littlewood-Sobolev inequality.