ここでformula_2とformula_3は株式formula_4のそれぞれformula_5時点における価格であり、