Talk:Hilbert projection theorem

Circular reasoning in the proof
"Let δ be the distance between x and C..."

The distance δ is not defined.

"... (yn) a sequence in C such that the distance squared between x and yn is below or equal to δ2 + 1/n."

The existence of such sequence is not demonstrated.