>>132
それは一様連続の定義だな(微妙に不正確だが)