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?