Cauchy-Schwarz inequality

1. REDIRECT Cauchy–Schwarz inequality

{{R from modification}}