The formulation here is as in Walter Rudin, Real and Complex Analysis, pp. 335.
ここで紹介した内容は Rudin, Real and Complex Analysis, pp. 335 によるものである。