>>238
時枝先生はどんな数列でも数当てができることを証明しました。
よって、反例を示したいなら数当てができない数列を示すしかないですよ？
有限モデルが反例？アホですか？