Comment by graycat

Another source is W. Rudin, Real and Complex Analysis.