3fab07fdbad83b51.tex
1: $ is a minimiser.
2: Indeed, by the weak convergence in $