Projection on closed, convex sets

We show that the problem of projecting a point on a non-empty, closed, and convex set has a unique solution and give a characterising inequality.