A lower bound on the sum of the largest components of a nonnegative vector - Audet, Charles (Groupe d’études et de recherche en analyse des décisions, 2015)