This is actually a case of the Cauchy-Scwartz inequality: https://en.m.wikipedia.org/wiki/Cauchy%E2%80%93Schwarz_inequality
This is actually a case of the Cauchy-Scwartz inequality: https://en.m.wikipedia.org/wiki/Cauchy%E2%80%93Schwarz_inequality