Math 521 #151: Minimum value using Cauchy–Bunyakovsky–Schwarz Inequality