2.6.3 求解HJI不等式