Talk:Hilbert projection theorem

Circular reasoning in the proof

edit

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.