1: $, and infer from pointwise convergence and from $