Compactness of minimizing sequences. (May 2016)