極限で定義された関数