Ich blick da nicht richtig durch und glaube auch das da was falsch ist. Wenn (f,g)=∫abf(x)g(x) dx das Skalarprodukt ist gilt
0≤(f−λg,f−λg)=(f,f)−2λ(f,g)+λ2(g,g) und da λ=(g,g)(f,g) ist folgt
0≤(f,f)−2(g,g)(f,g)(f,g)+((g,g)(f,g))2(g,g)=(f,f)−(g,g)(f,g)2 und durch Multiplikation mit (g,g) folgt die Bahauptung.
(f,g)2≤(f,f)(g,g)
Den Fall (g,g)=0 muss man separat behandeln ist aber trivial.