$RED 価格が0.8に達したらどうなるのか?