Orthogonal Projection is Bounded

Theorem
Let $H$ be a Hilbert space.

Let $K$ be a closed linear subspace of $H$.

Let $P_K$ denote the orthogonal projection on $K$.

Then $P_K$ is bounded.

That is:


 * $\size {\map P h} \le \norm h$

for each $h \in H$.