分布関数の極限と連続性