>>16
任意の正数εに対して|f(x_0)-f(x)|<ηなら|g(f(x_0))-g(f(x))|<εであるような正数ηが存在し,
このηに対して|x-x_0|<ηなら|f(x)-f(x_0)|<δとなる正数δがとれるっていう寸法じゃん。