The Proximal Point Algorithm Definition