レッドにどれくらい伸び代いれると、伸び代なしギャロップのバルク値を超えてしまうのかの計算が面倒