1変数関数の極限値についてのsum-difference/product/quotient limit theorem

1変数関数の演算と極限の順序入替可能性の証明。大枠だけリフォーム。