「無限列があれば見通せる、選択函数があればその値を知ることができる」
が解答者の設定だというのは>>392->>394さんのおっしゃる通りですね。