スレ主のロジックだと有限数列と無限数列を区別できないということになる
言い換えると全ての有限数列が入った袋から一つ有限数列を取り出す場合でもスレ主は数列の長さnに上限が
無いので(存在しないはずの)無限数列を取り出せると言っているわけだがスレ主はそれで良いの？

数列の長さnがどれだけ大きくなっても有限であることには変わりないので取り出した数列の長さnを
ある自然数として求めることができるという立場が一般的だろうし時枝解法もそのような立場を取っている