で定義すると、上では連続かつ