1: $ is well defined. By the convergence theorem for nonnegative supermartingales, $