Proximal points I: Definition and existence
Date: NaT

We define proximal points of proper, convex, lower semicontinuous functions and prove the first part of a theorem, showing their existence.