P
Initializing...
$P(x^{t_i+1}) \to P(x^*)$ along a convergent subsequence · Prove2Me