1: $ is compact in the topology of pointwise convergence. 

2: %%We show that for fixed $