The Carathéodory–Cartan–Kaup–Wu Theorem on an Infinite-Dimensional Hilbert Space