Let be a sequence of analytic functions on a (connected) domain such that for all and all . Suppose the sequence converges for infinitely many in a compact subset of . Prove converges for all .
Since is uniformly bounded, it forms a normal family. Thus, it admits a locally uniform convergent subsequence to a holomorphic function .
Now suppose is any subsequence of . Then this is still a normal family, so it admits a further subsequence which converges locally uniformly to some holomorphic . By assumption, for any , we have , i.e., and agree at infinitely many points in compact, so it must agree on an accumulation point of . By uniqueness, we see that on , so by the Urysohn subsequence principle, converges locally uniformly to on . In particular, it converges pointwise, which was what we wanted to show.