1: $ is compact under the weak convergence topology. Thus $