145円で介入入ることがわかってるなら
140円で円買いして、145円の直前で円売りドル買いすれば儲かるのでは