>>444
有限でない場合はどのように証明すべきでしょうか…?