Maybe you can prove it like standard proof of Cauchy–Schwarz inequality:
0 \le <x+\lambda y, x+\lambda y> = <x,x> + 2\lambda <x,y> + \lambda^2 <y,y>, and then choosing that \lambda = -\dfrac{<x,y>}{<y,y>} you will get |<x,y>|^2 \le <x,x> <y,y>
So, maybe, but maybe, you can use \lambda =...