関数の極限の定義と性質