在正方形【a b】*【a b】上,有[f(x)--f(y)]^2>=0,做二重積分得
f^2(x)+f^2(y)--2f(x)*f(y)的二重積分>=0.
容易計算得出f^2(x)和f^2(y)的二重積分都是(b--a)*積分（從a到b）f^2(x)dx.
f(x)*f(y)的二重積分等于(積分（從a到b）f(x)dx)^2,化簡得不等式.