本格的にやるんだったらルベグ積分やって伊藤の確率論とか