formula_2を、分散を最小化するポートフォリオが満たすべき期待収益率の下限とする。