>>117
>有限列の場合なんかいくら示したって無意味

証明がない