Suppose we have the following minimization problem:

subject to . How do we prove the following:

Proposition.For any nonincreasing sequence of positive numbers and for any initial vector satisfying , the sequence above admits a convergent subsequence?