従って数列formula_11はコーシー列であるから、極限値 "f"("x")を持つ(各点収束)。