Definition:Minimizing Sequence of Functional