関数の収束と数列の収束の関連性についての定理の証明

関数の収束と数列の収束の関連性についての定理の証明。
大枠のリフォーム。