収束性の証明はどうでしょう