>>571
有限なときの定義をそのままωなときに適用するのは無理なんですか？

どちらにせよmがどんな自然数でも
f[0](n)=2^n
と定義したときに変わらないのでΣも無理っぽいと後で気づきましたが

それと「ダーウィンを数字で証明する」という本が面白そうです