Banach space, CAT(0) space, exact orbit, Hilbert ball, inexact orbit, infinite product, nearest point projection, nonexpansive operator, retraction