ByNobleID
    Proving existence results in martingale theory using a subsequence\n principle | NobleID