Doob-Meyer decomposition