コーシー列
The existence of the limit formula_48 for the Cauchy sequence is obtained by applying to "G" differentiation theorems from Lebesgue's theory.