1: $

2: 	is tight by Lemma \ref{lemma.weak convergence phi_K}, we have that $