>>650
シュワルツの不等式

右辺^2 - 左辺^2 でもいいだろ