A generalization of the Cauchy-Schwarz inequality involving four vectors - Harvey, Nicholas J. A. (Array, 2015)