無限ループが続くことを証明できれば「以下無限ループとなります、何かありますか？」で省略できることあんま知られてないのね