6.1.1 变分不等式