【一般向け】射影の長さはもとの長さより短いという不等式から、コーシー・シュワルツの不等式を導く話