F19 04 Skalärprodukt i R^n och Schwartz`olikhet