Theorem G.1 (Theorem 2.3 in [1]}) 

Under the above set-up if \(\lbrace \mathbf {P}_t\rbrace \)  satisfies conditions C1 - C4, it converges monotonically to a first-order critical point of \(f\)  at no less than an algebraic rate.

