  It is shown that convex hypersurfaces in Hilbert spaces have nonnegative
Alexandrov curvature. This extends an earlier result of Buyalo for convex
hypersurfaces in Riemannian manifolds of finite dimension.
