P

Initializing...

Theorem 1: the constant-step ascent satisfies $\sup_m w(\pi^m) \ge \max_\pi w(\pi) - \tfrac12\bar t\,\limsup_m \|v_{k(\pi^m)}\|^2$ · Prove2Me