On the Optimality of the Discrete Karhunen--Loève Expansion

A short proof of the optimality of the discrete Karhunen--Loeve expansion as the best linear approximation in the quadratic mean is presented.