3.1.4 两个连续变量相乘的凸松弛方法：McCormick包络