コーシー列
従って数列 formula_11 はコーシー列であるから、極限値 "f"("x") を持つ（各点収束）。更に、上の式で "m" → ∞ とすることで