>>472
確かに、漸化式の場合、行儀が悪い気がします。
a_0がありませんからね。

結局>>461さんのいうように、
反例はないけど安全のため、Σの定義を
拡張しきれないでいる、と理解しましたが・・・