1: $ implies the convergence in probability, thus, \eqref{eq:ProbOrder} implies $