An Approximate Ascent Approach To Prove Convergence of PPO | Leif Döring et al. | ResearchPod