Asymptotic Convergence Analysis of the Proximal Point Algorithm | Synapse