Taylor expansion, analytic inequalities, Cauchy-Buniakowski-
Schwartz inequality