sup g(x,y) = C とおく
m<n としたとき
|a_n - a_m|
≦2^{-n}*|f((a(2^m)*2^{n-m}) - 2^{n-m}f(a(2^m))|
≦2^{-n}*(2^{n-m}-1)C → 0 (n,m → 0)